提交軟體
  1. 首頁
  2. Linux軟體
  3. 其他
  4. B Compiler

B Compiler 19.05.2009

軟體性質： 免費 ‎檔案大小： N/A
‎使用者評分： 3.8/5 - ‎4 ‎評分
點擊下載

B 編譯器是一個能夠分析 B 模型並執行語法和語義分析的工具。它還可用作庫，連結到操作 B 模型的應用程式（交叉參考器、代碼產生器、文檔生成器等）。

版本歷史記錄

  • 版本 bcomp%20source%2019.05.2009 發佈於 2009-05-19
    若干修復和更新
  • 版本 bcomp source 19.05.2009 發佈於 2009-05-19

軟體細節

相關軟體

  • 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 專案管理系統功能的功能庫。