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