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