 |
| |||
| contract-based programming features (напр., в языке Ada 2012 Alex_Odeychuk); contract-based programming capabilities (Alex_Odeychuk); design by contract features (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 mechanism (компании AdaCore; контекстуальный перевод на русс. язык Alex_Odeychuk) | |||