![](/statics/img/blank.png)
Slicefy
您將能夠在 5 秒內下載。
關於 Slicefy
一種通過切片對併發系統進行規範和驗證的工具。
相關軟體
-
Transform SWF for Java 免費
轉換 SWF 是一個易於使用的庫,用於讀取和寫入快閃記憶體和快閃記憶體視訊檔。自 2010 年 11 月 25 日起,最新版本 (3.0) 現在可以在位於此地的 GitHub https://github.com/StuartMacKay/transform-swf。
-
CodeSnip 免費
CodeSnip 管理、顯示和操作原始程式碼儲存庫。存儲庫可以顯示從連線代碼片段資料庫下載的本地儲存代碼段以及使用者定義的代碼片段。設計時牢記德爾福代碼。
-
Jester 免費
Jester 是用於測試 java JUnit 測試的測試測試人員(Pester 用於 Python PyUnit 測試)。它修改原始碼,運行測試和報告,如果測試通過,儘管代碼的更改。這可能表示缺少測試或冗餘代碼。
-
ApacheBuilder 免費
ApacheBuilder 從源建構 Apache(Mod_SSL和 Mod_Perl的可選模組),提示配置位置參數等。 完成後,它啟動 Apache 並驗證所有工作正常。
-
NDAI Reference Library for HFI 免費
IBM 的 PERCS 整合高速 HFI 網路的網路資料圖抽象介面 (NDAI) 參考庫實現。
-
QueryXMMS 免費
QueryXMMS 使用 libxmms 查詢流行的 Linux 多媒體播放器 XMMS 的目前狀態。
-
Leseratte 免費
萊塞拉特是德語書面語言的 JAVA 解析器。目前,它包含一個德語詞典(基於字典),不靈活規則,語法和解析器。(已規劃語義元件。可用作 Java 庫,還提供圖形 UI。
-
aspell-nds 免費
該專案為GNU aspell程式提供了一個低撒克遜語模組。低撒克遜文(ISO 語言代碼:nds)是在德國北部和荷蘭東部使用的區域語言。
-
Yet Another Object Request Broker 免費
然而,另一個物件請求代理是CORBA的實現,C++
-
Open Source Tracker 免費
開源跟蹤器是食品資訊電子可追溯性的中間件,例如 TraceCoreXML。OST 附帶一個可選的 Web 介面,用於查看、生成、執行和翻譯可追溯性消息。Java 和 .net 版本現在都可用。