ACM code generator 1.0
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/acmgen/files/acmgen/1.0/acmgen-7.01.tar.gz/download
关于 ACM code generator
ACMgen 是异步通信机制的自动代码生成器,基于 Petri 网络模型的生成,这些模型可以针对某些属性进行正式验证,然后转换为实际实现(例如.C+或 Verilog)。
相关软件
-
Jump from SOAP to REST with WSDL2REST 免费
一种工具链,允许通过将 WSDL 定义与服务 impl 一起使用轴化,将现有 SOAP Web 服务实现快速迁移到 RESTful Web 服务实现。类。(按组http://tech.groups.yahoo.com/group/slosc)
-
DOSBox Launch Pad 免费
配置 DOSBox 可能有点令人生畏,因此我决定编写一个 VB.Net 项目,该项目提供了一个 GUI 来控制 DOSBox .conf 文件中的众多条目。
-
DMG Automounter for Linux 免费
DMG 自动装载机是一个鹦鹉螺脚本,它允许任何 Linux 发行版装载 Mac OS X .dmg 文件(但不是安装它,因为这需要 Mac OS X API 是封闭源的)。README 具有整个安装说明。请捐赠!
-
APEX Imaging Spectrometer Tools 免费
APEX Tools 是一组实用程序,用于处理为 ESA-Prodex 支持的机载棱镜 EXperment (APEX) 开发的机载高光谱数据。
-
MGP 免费
Maven GWT 插件用于从 Java 源编译 JavaScript 源文件。该插件运行GWTCompiler,允许配置编译器选项,自动检测源和资源文件的位置。不需要本地 GWT 安装
-
PHP Toolbox 免费
PHP 工具箱旨在创建数据库支持的过程网站更容易。它利用迭代或分步开发范式。主要功能由强大的表/窗体类及其数据库后代处理。
-
Java Modeling Language (JML) 免费
Java建模语言 (JML) 是一种行为接口规范语言,可用于指定 Java 模块的行为(如在合同设计中 - DBC)。它有许多工具做断言检查,单位测试等。
-
Sample YouTube Player 免费
简单YouTube播放器 github 项目的示例应用程序https://github.com/TheFinestArtist/SimpleYouTubePlayerYouTubePlayer 活动手柄方向问题(自动旋转模式)自动旋转打开:您可以使用传感器或YouTube全屏按钮。自动旋转关闭:你可以只使用YouTube全屏按钮。Youtube 网址解析问题名为解析 YoutubeVideoId 的方法
-
Gelide 免费
Gelide 是一个可配置的前端,它允许您管理任何类型的模拟系统(街机、控制台、PC 等),让您从 GNU/Linux 下的任何现有仿真器编目和启动任何游戏。
-
HMI User Control 免费
(EN)用户控制项目的目标是使几个用户控件将 PLC 系统与 Win32 下的 HMI 应用程序生成进行接口。将不胜感激每一个合作。(IT)L 'obiettiivo del progetto e' quello di realizzare una serie di 控制