Основы объектно-ориентированного программирования

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

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