Java Modeling Language (JML)

関連プログラム

• OpenSeeds 無料

  OpenSeeds は、LAMP 環境用に設計されたオープン ソースの Web 開発フレームワークおよびオブジェクト モデルです。複雑なシステムを念頭に置いて設計されています。フレームワーク自体は軽量です。オブジェクト モデルは単純です。

• JNI++ 無料

  このプロジェクトでは、2 つのコード生成ユーティリティと C++ の JNI へのプログラミングを簡素化するコア C++ ライブラリを提供します。

• Almende's Abbey Agent Kernel 無料

  このプロジェクトは、分散エージェントベースのアプリケーションを構築するための単純なカーネルを提供します。これは、データフロー プログラミングの基本原則が、マルチエージェント環境の調整言語の設計に適しているという考えに基づいています。

• Flicky Web Launcher 無料トライアル

  このアプリは、About.comサイトを起動するアイコンです。Flickr の Web サイトに簡単にアクセスできます。appjungle.net Flickrと提携していません。(すべての商標はそれぞれの所有者が所有しています)標準免責事項:すべての使用は、あなた自身の責任です。あなたが同意をダウンロードすることによって。

• MGP 無料

  Maven GWT プラグインは、Java ソースから JavaScript ソースファイルをコンパイルするために使用されます。プラグインは、GWTCompilerを実行し、コンパイラオプションを設定することができ、自動的にソースとリソースファイルの場所を検出します。ローカルの GWT インストールを必要としません。

• Delta Compositor 無料

  デルタコンポジターは、ハイエンドの映画の合成と特殊効果のパッケージです。それは非常に初期の開発中です。スクリプトベースのバージョンが利用可能になりました。GUI は現在、計画と開発中です。

• Database Access Framework 無料

  Microsoft のパターンとプラクティス エンタープライズ ライブラリ 2.0 からのデータ アクセス アプリケーション ブロックの拡張バージョン。

• jDummy 無料

  jDummyは、モックオブジェクトを使用してJavaコードをテストするためのライブラリであるjMockの拡張機能です。jDummyは、ダミー値とそれらを表現するために必要な中間モックオブジェクトを生成することによって、関連する期待を表現するために必要なコードを削減します。

• ALPprolog 無料

  ALPprolog は、アクション プログラミング言語のプロローグ実装です。ALPprologを使用すると、例えばWumpus世界のような動的ドメインで自律的なエージェントのための戦略をプログラムすることができます。

• C++ Object Interfacing Dispatcher 無料

  COID は、C++ クラス宣言から直接軽量通信層を自動的に生成するツールを備えた、C++ オブジェクトを提供するネットワーキング ライブラリです。