提交软件
  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 项目管理系统功能的功能库。