アノテーションを使用して前提条件や事後条件などを宣言する Java 1.5 用の、コントラクト別の設計 (DBC) フレームワーク。他のコントラクトフレームワークとは異なり、プリコンパイルは不要で、ビルド システム、IDE、およびプラットフォーム間でコードを移植可能にします。
バージョン履歴
- バージョン N/A に転記 2011-08-12
いくつかの修正と更新 - バージョン N/A に転記 2011-08-12
プログラムの詳細
- カテゴリ: グラフィックアプリ > 他
- パブリッシャー: traction.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: Array
- プラットフォーム: windows