プログラム contractpp.sf.net
-
Contract++ 無料
C++ 契約プログラミング (別名コントラクトによるデザイン)。サポートされているすべてのエッフェル機能: オプションのコントラクトのコンパイル。失敗時のカスタマイズ可能なアクション。下請け;古い値と結果値。ブロック不変性、ループバリアント。http://contractpp.sourceforge.net
C++ 契約プログラミング (別名コントラクトによるデザイン)。サポートされているすべてのエッフェル機能: オプションのコントラクトのコンパイル。失敗時のカスタマイズ可能なアクション。下請け;古い値と結果値。ブロック不変性、ループバリアント。http://contractpp.sourceforge.net