программный контракт | software contract (в контексте формальных методов инженерии программного обеспечения, программный контракт – это описание поведения набора программных компонентов, представленное в виде сигнатур операций (методов) каждого из этих компонентов (классов), структур их состояний, предусловий и постусловий для каждой операции, набора инвариантов для каждого компонента (класса, типа данных) отдельно, а также инвариантов для циклов обработки данных внутри операций компонента Alex_Odeychuk) |