CONTRACT

контракт ( набор четко определенных условий, регулирующих отношения между классом-сервером ( supplier ) и его клиентами( client ); включает индивидуальные контракты для всех экспортируемых членов класса, представленные пред- и постусловиями ( precondition и postcondition ), а также глобальные свойства класса, выраженные в инварианте класса; см. тж design by contract ) - domain contract - model-based contract