プログラム traction.sf.net

アノテーションを使用して前提条件や事後条件などを宣言する Java 1.5 用の、コントラクト別の設計 (DBC) フレームワーク。他のコントラクトフレームワークとは異なり、プリコンパイルは不要で、ビルド システム、IDE、およびプラットフォーム間でコードを移植可能にします。