(kontrakt, contract)
specyfikacja dolaczona do interfejsu, wiazaca wzajemnie klientów i dostawców (implementatorów) interfejsu, ujmujaca jego aspekty funkcjonalne ( skladnie i semantyke) i niefunkcjonalne (dotyczace gwarancji jakosci uslug). Zob. tez warunek wstepny, programowanie komponentowe.