IT用語集 › プログラミング › 契約による設計（Design by contract）
すべての関数に、形式的な事前条件・事後条件・不変条件を持たせるというプログラミング哲学。
提唱者はBertrand Meyerで、1986年のEiffel言語に遡る。「開始前に真でなければならないこと」と「終了後に保証すること」をアサーションで表す。契約を明示的に考える習慣を促し、現在は型システムやプロパティベーステストという形で現代の言語に受け継がれている。