「契約プログラミング」の版間の差分

'''契約プログラミング'''（けいやくプログラミング、'''Programming By Contract'''）または'''契約による設計'''（けいやくによるせっけい、'''Design By Contract'''）とは、[[ソースコード|プログラムコード]]の中に[[プログラム (コンピュータ)|プログラム]]が満たすべき[[仕様]]についての記述を盛り込む事で設計の安全性を高める技法。[[プログラミング言語]][[Eiffel]]で初めて導入された。"Design by Contract" の頭文字からとった '''DbC''' (ディービーシー) でよばれることが多い。