Terms for subject Programming containing a constraint

English	Russian
a constraint	некоторое ограничение (ssn)
a constraint on response time	некоторое ограничение на время реакции (ssn)
a constraint on response time for some operation	некоторое ограничение на время реакции для той или иной операции (ssn)
clock constraint in the invariant of a location or in the guard of a transition	временное ограничение инварианта позиции или предохранителя перехода (ssn)
constraint employed in specifying a parameterized abstract syntax	ограничение, применяемое в спецификации параметризованного абстрактного синтаксиса (ssn)
constraint error over a calculation	ошибка выхода за ограничение во время вычисления (Alex_Odeychuk)
globally static subtype of a globally static range constraint	глобально статический подтип глобально статического ограничения диапазона (ssn)
implementation of a logic constraint mechanism	реализация механизма выполнения кода на языке программирования в ограничениях (Alex_Odeychuk)
Typically, the designer provides a constraint on response time for some operation, and the verifier automatically determines if it is satisfied or not	Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
unconstrained array type of a globally static index constraint	неограниченный индексируемый тип глобально статического ограничения индекса (ssn)
unconstrained array type of a locally static index constraint	неограниченный индексируемый тип локально статического ограничения индекса (ssn)