generated at
契約プログラミング
programming by contract

契約による設計（DbC : design by contract）
Eiffel
D言語
Spec#

mrsekut-p - /mrsekut-p/契約プログラミング
dojineko - /dojineko/契約プログラミングをやってみよう！

契約プログラミング - Wikipedia