![](/statics/img/blank.png)
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/SimpleYouTubePlayer。YouTubePlayer 活動手柄方向問題(自動旋轉模式)自動旋轉打開:您可以使用感測器或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 控制