Russian ⇄ English

ограничения в спецификации метода stresses
progr.	constraints in the subprogram specification (subprogram preconditions and postconditions or type predicates; корпорации AdaCore; из кн.: Макконнелл С. Совершенный код. Практическое руководство по разработке программного обеспечения Alex_Odeychuk)