| English | Russian |
| contract-based programming | контрактное программирование (Alex_Odeychuk) |
| contract-based programming capabilities | средства контрактного программирования (Alex_Odeychuk) |
| contract-based programming facilities | средства контрактного программирования (allowing the programmer to specify preconditions, and/or postconditions for subprograms, and invariants for encapsulated (private) types; корпорации AdaCore Alex_Odeychuk) |
| contract-based programming features | средства контрактного программирования (напр., в языке Ada 2012 Alex_Odeychuk) |
| introduce support for contract-based programming | внедрить поддержку контрактного программирования (Alex_Odeychuk) |
| support for contract-based programming | поддержка контрактного программирования (компании AdaCore Alex_Odeychuk) |