אנגלית ⇄ רוסית +

contract-based programming facilities מתח
.תִכנו	средства контрактного программирования (allowing the programmer to specify preconditions, and/or postconditions for subprograms, and invariants for encapsulated (private) types; корпорации AdaCore Alex_Odeychuk)