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

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