 |
| |||
| function's contract (a set of a precondition and postcondition of a function, conditions describing which variables are used by a function and how information flows between the variables and the function, distinct cases, grouping values for which the subprogram should have the same behavior Alex_Odeychuk) | |||
| |||
| function contracts (корпорации AdaCore Alex_Odeychuk) | |||
| контракт функции: 4 phrases in 3 subjects |
| Economy | 1 |
| Military | 1 |
| Programming | 2 |