| |||
программный контракт (в контексте формальных методов инженерии программного обеспечения, программный контракт – это описание поведения набора программных компонентов, представленное в виде сигнатур операций (методов) каждого из этих компонентов (классов), структур их состояний, предусловий и постусловий для каждой операции, набора инвариантов для каждого компонента (класса, типа данных) отдельно, а также инвариантов для циклов обработки данных внутри операций компонента Alex_Odeychuk) | |||
| |||
Контракт на ПО (Dynamics NAV 2009 ssn) |
software contract : 1 phrase in 1 subject |
Programming | 1 |