generated at
契約による設計
メソッドの引数及び戻り値に対して 明確な 仕様を決め、それに基づいて 実装すること。
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