B Compiler 19.05.2009
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/bcomp/files/B_COMPILER_sources_files/bcomp%20source%2019.05.2009/bcomp_source_19.05.2009.zip/download
關於 B Compiler
B 編譯器是一個能夠分析 B 模型並執行語法和語義分析的工具。它還可用作庫,連結到操作 B 模型的應用程式(交叉參考器、代碼產生器、文檔生成器等)。
相關軟體
-
SEO - Keyword Checker 免費試用
分析任何網頁並檢查使用最多的關鍵字
-
Finite State Machine Language 免費
用於指定有限狀態機的語言。 然後,這些計算機通過 fsmlang 生成的代碼以不同的語言實現,甚至在這些語言中的不同模型中實現。 此外,機器的表格分頁是基因
-
MVR Composer 免費
多變數回歸編輯器,一個 Matlab 工具箱。它生成最優結構的回歸模型。使用源數據集、初始模型和基元函數。
-
Design Pattern Automation Toolkit 免費
使用設計模式設計應用程式、使用生成代碼和反向工程的設施設計的工具組。拖放工具創建 UML 類圖 支援,用於為代碼產生器和反向工程編寫自訂外掛程式。
-
Software Build System 免費
Krypton 是一個軟體建構工具,它將針對工件的範例應用於建構,其重點是建構什麼,而不是如何構建。Krypton 的標準庫為建構 Java 和 .NET 軟體提供了支援。
-
MammoothLibrary 免費
MammoothLibrary 是 C++ 類的集合,主要用於提供多線程便攜式框架,具有非常簡單的指令來創建和管理線程和套接字。核心基於在埃菲爾開發的 SCOOP 模型。
-
codavaj - javadoc in reverse 免費
科達瓦伊 - 賈瓦多克相反。一個看似無用的反向工程工具,用於將 HTML javadoc 轉換為 java 源檔骨架 - 或反射 api 一樣的內部表示形式。
-
yaf 免費
亞夫!代表另一個福托爾布姆!是另一個相冊 Cgi 腳本。
-
GuardX Antivirus 免費試用
您擔心您的手機上會安裝惡意應用程式或您的個人數據將被竊取?然後,使用 GuardX。它保護您的應用程式免受惡意和間諜軟體的攻擊。使用 GuardX 您的手機始終受到保護,它控制每個應用程式安裝,並通知您,如果它是惡意的。使用應用程式設定,您始終可以知道您的病毒資料庫是最新的。如果您發現一個可疑的應用程式,您可以使用報告系統並報告給我們,我們將測試它,如果是惡意的,我們會將其添加到他們的資料庫中。特徵:- 即時防禦惡意軟體,每個新應用程
-
Redmine Client 免費
Redmine Client 是一個免費且開源的桌面工具,用於報告 Redmine 專案管理系統中在問題上花費的時間和創建問題,以及封裝 Redmine 專案管理系統功能的功能庫。