| |||
function contracts (корпорации AdaCore Alex_Odeychuk) | |||
| |||
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) |
контракты функций : 4 phrases in 3 subjects |
Economy | 1 |
Military | 1 |
Programming | 2 |