 |
| English | Russian |
| business protocols and contracts | бизнес-протоколы и контракты (ssn) |
| class contracts | контракты на классы (напр., в языке программирования Oxygene Alex_Odeychuk) |
| class-wide contracts | контракты на надклассовый тип (надклассовый тип является одним из типов данных в языке параллельного программирования Ada 2012; корпорации AdaCore Alex_Odeychuk) |
| function contracts | контракты функций (корпорации AdaCore Alex_Odeychuk) |
| in the form of contracts | в виде контрактов (Electronic Design Alex_Odeychuk) |
| type-wide contracts | контракты на типы данных (predicates or invariants; корпорации AdaCore Alex_Odeychuk) |