Контракты и надежность ПО

Предусловие и постусловие программы определяют контракт со всеми ее клиентами.