差分

'''契約による設計'''（[[英語]]：Design By Contract、でざいん・ばい・こんとらくと）とは、[[ソースコード]]の中に[[プログラム]]が満たすべき[[仕様]]（契約）についての記述を盛り込み、[[設計]]の安全性を高める[[プログラミング]]の技法のひとつである。の技法のひとつ、または[[プログラミング言語]]の機能のひとつである。 '''契約プログラミング'''（Programming By Contract）や、Design by Contract の頭文字である'''DbC''' (でぃーびーしー) とよばれることもある。