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