以下のように述べた公式発表 、自分の空き時間に2人のGoogleのプログラマーによって開発されたライブラリー（個人的なプロジェクトのための20％）とに基づいて近代ジャス 、との言語の影響を受けて作られアイフェル最初の契約プログラミング方法を実装しました、。
コントラクトプログラミングの方法では、設計者がシステムコンポーネントの正式で正確かつ検証可能なインターフェイス仕様を定義する必要があると想定しています。 抽象データ型の通常の定義に加えて、前提条件、事後条件、および不変条件も使用されます。 これらの仕様は、ビジネス契約の条件と責任の概念的なメタファーに従って「契約」と呼ばれます。
これらはすべて、コード内のエラーの場所をできるだけ正確に見つけるために必要です。 Googleは例を示します。標準コードで、エラーの場所がエラーの場所からかなり離れている場合、
...契約違反の場合、エラーの場所はすぐに特定されます。
コントラクトプログラミングの詳細については、 文献およびJava用コントラクトで使用される方法論を参照してください。