Overture: Formal modelling in VDM

相關軟體

• Mkulu QA Proxy 免費

  Mkulu QA 代理用於查看 HTTP 資料包的詳細資訊。它是用於 Web 開發和測試的有用工具。正在工作，以增加工具的功能。代理能夠解析宏媒體快閃記憶體處理使用的二進位 AMF 協定。

• Illumination 免費

  照明 - 一個功能豐富，與拼C++的 GUI 庫。主要功能：可分量性、XML 表面描述支援、漂亮的佈局引擎、字體敏感度、X11 的後端、Windows、碳和詛咒。

• HMM Based Chinese Segmentor 免費

  這是一個實現盧塞尼分析儀介面的專案，以擴展其基於統計模型的中文分割問題的功能（Hiden Marcov模型）

• NHibernateIt 免費

  NHibernateIt 是一個 NHibernate 會話管理幫助程式，提供基本的 CRUD 操作，使存儲庫類槽槽。靈感來自NHibernator專案，在oracleatdotnet.com

• AstroWeka 免費

  AstroWeka 是 Weka 的一組擴展，這是一個流行的數據挖掘程式，它允許它直接處理虛擬天文台中的天文數據。

• CalFaces 免費

  CalFaces（以前是 jsforganiser）是 JavaServer Faces 元件的集合，用於基於 Web 的 PIM 應用程式，提供具有日、工作周、周和月檢視的 Outlook 樣式日曆以及會議規劃器。

• Complement 免費

  多平臺C++庫。1. xmt：用於構建多線程 （MT） 應用程式或庫的便攜式程式設計介面;2. 襪子：與插座的介面（C++IO流）;3. StEM：有限狀態機/通信框架（與ev通信）

• H3xC4T 免費

  H3xC4T 讀取二進位檔案，並在列中顯示按排序的十六進位元內容...將來， 我會添加一些功能， 如普通二進位轉換或拆解...

• Charset detector 免費

  用於自動檢測給定文本或檔的字元集的庫。將分析輸入緩衝區以猜測使用的編碼。結果（字元集名稱或代碼頁 ID）可用作字元集會話的控制參數。使您的程式 Unicode 知道！

• Java Signal/Slot with Annotations 免費

  此庫是 JAVA 5.0 的信號/插槽 API，使用註釋來標記信號/插槽。包含信號/插槽次法的子類，以及向其插槽發出信號的方法，通過註釋處理工具自動生成。