CONTRACT

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