契約による設計

オブジェクト指向プログラミングの文脈で提唱された、事前条件・事後条件・不変条件でクラスの振る舞いを規定する設計手法。