English ⇄ Russian

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