契約による設計
メソッド
の
引数
及び
戻り値
に
対して
明確な
仕様
を決め、それに
基づいて
実装する
こと。
DbC
:
design by contract
契約プログラミング
（
programming by contract
）
component-based software engineering
正当性
（
correctness
）
防衛的プログラミング
（
defensive programming
）
fail-fast system
形式手法
（
formal methods
）
Hoare logic
モジュラープログラミング
（
modular programming
）
program derivation
program refinement
テスト駆動開発
(
TDD
:
test-driven development
)
iki-iki
-
/iki-iki/契約による設計
koushisa
-
/koushisa/契約による設計
mrsekut-p
-
/mrsekut-p/契約による設計
uki00a
-
/uki00a/契約による設計
yux3
-
/yux3/契約による設計 DbC(Design by Contract)
Design by contract - Wikipedia