Anglais ⇄ Russe +

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