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