Java Modeling Language (JML)

相關軟體

• OpenSeeds 免費

  OpenSeeds 是一個開源 Web 開發框架和物件模型，專為 LAMP 環境而設計。設計時要記住複雜的系統。框架本身是輕量級的。物件模型簡單化。

• JNI++ 免費

  此專案提供兩個代碼生成實用程式和一個C++庫，可簡化 JNI C++。

• Almende's Abbey Agent Kernel 免費

  此專案提供了一個簡單的內核來建構基於分散式代理的應用程式。它基於以下理念：數據流程式設計所基於的原則非常適合為多代理環境設計協調語言。

• Flicky Web Launcher 免費試用

  這個程式只是一個圖示，啟動About.com網站。方便存取 Flickr 網站。appjungle.net與 Flickr 無關。（所有商標均歸其各自擁有者所有）標準免責聲明：所有使用風險自擔。通過下載您同意。

• MGP 免費

  Maven GWT 外掛程式用於從 Java 源編譯 JavaScript 源檔。該外掛程式運行GWTCompiler，允許配置編譯器選項，自動檢測源和資源檔案的位置。不需要本地 GWT 安裝

• Delta Compositor 免費

  達美合成器是一個高端電影合成和特效包。這是很早的發展。現在提供基於腳本的版本。GUI 目前正在規劃和開發中。

• Database Access Framework 免費

  來自Microsoft模式和實踐企業庫2.0的資料存取應用程式塊的增強版本。

• jDummy 免費

  jDummy 是 jMock 的擴展，jMock 是一個用於使用模擬對象測試 Java 代碼的庫。jDummy 透過生成表示相關期望和中間類比物件來減少表達相關期望所需的代碼。

• ALPprolog 免費

  ALPprolog 是操作程式設計語言的 Prolog 實現。借助 ALPprolog，您可以對動態域（如 Wumpus 世界）中的自主代理策略進行程式設計。

• C++ Object Interfacing Dispatcher 免費

  COID 是C++物件服務網路庫的工具，該工具可直接從類聲明自動生成C++通信層。