generated at
design by contract
契約による設計

component-based software engineering
Correctness (computer science)
Defensive programming
Fail-fast
Formal methods
Hoare logic
Modular programming
program derivation
program refinement
Strong typing
Test-driven development
typestate analysis

googledesign by contract
image design by contract
define design by contract
wikipedia design by contract
weblio design by contract
kotobank design by contract
jisho design by contract