契約プログラミング
programming by contract
契約による設計
（
DbC
:
design by contract
）
Eiffel
D言語
Spec#
mrsekut-p
-
/mrsekut-p/契約プログラミング
dojineko
-
/dojineko/契約プログラミングをやってみよう！
契約プログラミング - Wikipedia