G-UML
您將能夠在 5 秒內下載。
關於 G-UML
程式設計語言和工具允許:為JAVA、C#、C++,..;驗證代碼正確性和形式屬性。其目的是允許元件的最大可重複性(不依賴於語言),以及證明它們的正確性。
相關軟體
-
XBMC / Boxee Remote 免費
XBMC/ Boxee 的遙控器。請卸載 v1.0!!!v3.1。* 首選項中的設定檔支援v2.2。* 次要錯誤修復v2.1。* 小錯誤修復, 使其與視窗 Xbmc 工作v2.0。* 更大的圖示* 使用鍵盤輸入文字* 更多按鈕• 錯誤修復v1.0。*瀏覽視頻,音樂和圖片和相應的播放清單* 在清單檢視中播放或排隊專案
-
tksolfege ear training program 免費
Tksolfege 是一個耳朵訓練計劃,用於學習識別和弦、間隔、執行節奏聽寫、索夫格聽寫和唱歌的奏歌序列。該程式需要 Tcl/Tk 8.4,但是 Windows 可執行檔內置了 Tcl/Tk。
-
cfGlitch 免費
cfGlitch 是一個簡單的軟體錯誤跟蹤系統寫在冷融合。它設計用於在開發人員的工作站(顧問理想)以及開發伺服器(開發團隊)上運行。
-
Adv Battery Savior 免費
電池小部件估計電池壽命。你可以優化電池壽命與這個應用程式關閉藍圖設備,wifi設備,螢幕亮度和殺死一些應用程式,你不需要。
-
AutoIT in Ada 免費
這是一個 Ada 綁定到 AutoITX 一個測試自動化介面 win32 圖形用戶介面。
-
btPair 免費
btPair 是藍牙配對説明程式。現在是免費的。當你想配對或取消配對藍牙設備時, 你曾經被 Android 惹惱過嗎?每次去設定 - > 無線 & gt; 藍牙設定 - > Blahb...?嗯,我是.這就是我寫 btpair 的原因。你可以取消配對和修復這些,如果他們在您身邊和可用。當您按下「掃描」時...將顯示您周圍的所有可見設備。綠色或紅色圖示告訴您,如果設備已配對。單擊設備將立即配對或取消配對設備。就是這樣!很簡單,嗯?如果出
-
phpMD / PHP CodeSniffer Netbeans Plugin 免費
Netbeans PHP 外掛程式提供 PHP Mess 探測器偵測到的違規行為 (phpmd.org 由曼努埃爾 · 皮克勒) 和 PHP 代碼嗅探器 (http://pear.php.net/package/PHP_CodeSniffer/) 的警告 / 資訊
-
Pequel ETL Data Transformation Engine 免費
全面、高性能的數據分發與轉換系統。具有簡單、使用者友好的事件驅動腳本介面,可透明地生成和執行高效的 Perl/C 代碼。用途:ETL、數據設備、統計、數據清理。
-
GenealogyGedcom 免費
2008 年 PEAR 系列軟體包的 Gedcom 5.5.1 Genealogy_Gedcom版本。此新版本將利用 PHP 5.3 並符合 PEAR2 標準。一旦此版本穩定下來,5.5.1 之前對 Gedcom 版本的支援將按請求進行評估。
-
JInsect 免費
JINSECT 工具套件是基於 JAVA 的工具組和庫,支援並展示在自然語言處理應用程式中使用n-gram圖形,範圍從總結和摘要評估到文本經典化和索引。