| |||
| контракт функции (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) | |||
