契約プログラミング
programming by contract
契約による設計
(
DbC
:
design by contract
)
Eiffel
D言語
Spec#
契約プログラミング - Wikipedia