C++ 契約プログラミング (別名コントラクトによるデザイン)。サポートされているすべてのエッフェル機能: オプションのコントラクトのコンパイル。失敗時のカスタマイズ可能なアクション。下請け;古い値と結果値。ブロック不変性、ループバリアント。http://contractpp.sourceforge.net
バージョン履歴
- バージョン releases に転記 2010-03-07
いくつかの修正と更新 - バージョン N/A に転記 2010-03-07
プログラムの詳細
- カテゴリ: グラフィックアプリ > 他
- パブリッシャー: contractpp.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: Array
- プラットフォーム: windows