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