| English | Russian |
| class invariant | инвариант класса (специальное условие, которые проверяется после создания экземпляра класса и при обращениях к любому из экспортированных (т.е. доступного клиентами класса) методов) |
| class-wide invariant | инвариант надклассового типа (корпорации AdaCore Alex_Odeychuk) |
| class-wide type invariant | инвариант надклассового типа (корпорации AdaCore Alex_Odeychuk) |
| clock constraint in the invariant of a location or in the guard of a transition | временное ограничение инварианта позиции или предохранителя перехода (ssn) |
| conjunction of the invariants | конъюнкция инвариантов (ssn) |
| conjunction of the invariants of the component locations | конъюнкция инвариантов составляющих позиций (ssn) |
| description of the abstraction function and rep invariant | описание функции абстракции и инварианта представления (ssn) |
| developing invariants | построение инвариантов (ssn) |
| developing loops from invariants and bounds | построение циклов, исходя из инвариантов и ограничений (ssn) |
| global invariant | глобальный инвариант (предикат, истинный в каждом видимом состоянии программы, а именно, до и после каждого неделимого действия ssn) |
| global invariants | глобальные инварианты (ssn) |
| in the definition of timed automaton, we allowed the clock constraints that serve as the invariants of locations and the guards of transitions to contain arbitrary rational constants | в определении временного автомата мы допускали использование временных ограничений в качестве инвариантов позиций и предохранителей переходов, содержащих произвольные рациональные константы (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| interesting rep invariant | интересный инвариант представления (ssn) |
| invariant character set | инвариантный набор символов (ssn) |
| invariant charset | инвариантный набор символов (ssn) |
| invariant expression | выражение-инвариант (Alex_Odeychuk) |
| invariant for a private type | инвариант приватного типа (Alex_Odeychuk) |
| invariant of a location | инвариант позиции (ssn) |
| invariant of the location | инвариант этой позиции (ssn) |
| invariant of the location | инвариант позиции (ssn) |
| invariant relationships | инвариантные соотношения (ssn) |
| invariant template | шаблон инвариантов (Alex_Odeychuk) |
| invariants and bounds | инварианты и ограничения (ssn) |
| invariants of locations and the guards of transitions | инварианты позиций и предохранителей переходов (ssn) |
| invariants of locations and the guards of transitions to contain arbitrary rational constants | инварианты позиций и предохранителей переходов, содержащие произвольные рациональные константы (ssn) |
| linear time-invariant continuous model | линейная непрерывная модель с постоянными параметрами (ssn) |
| loop-invariant | инвариантный относительно цикла (ssn) |
| loop invariant | постоянная цикла (тж. инвариант цикла; значение константы или выражения, которые не изменяются в данном цикле. Syn: loop constant ssn) |
| loop invariant code motion | вынос инвариантного кода за цикл (ssn) |
| loop-invariant computation | вычисление, инвариантное относительно цикла (ssn) |
| loop invariant hoisting | поднятие инварианта цикла (IBM Alex_Odeychuk) |
| loop invariants | инварианты циклов (ssn) |
| mapping from locations to clock constraints, called the location invariant | отображение позиций во временные ограничения, называемое инвариантом позиций (ssn) |
| method to derive invariants | метод конструирования инвариантов (ssn) |
| object invariants | инварианты объектов (Alex_Odeychuk) |
| preserving the rep invariant | сохранение инварианта представления (ssn) |
| private invariant | приватный инвариант (напр., в языке программирования Oxygene Alex_Odeychuk) |
| proof of correctness in terms of loop invariants | доказательство правильности в терминах инвариантов циклов (ssn) |
| public invariant | публичный инвариант (напр., в языке программирования Oxygene Alex_Odeychuk) |
| rep invariant | инвариант представления (ssn) |
| representation invariant | инвариант представления (ssn) |
| single input, single output linear, time-invariant system | линейная неизменяющаяся во времени система с одним входом и одним выходом (ssn) |
| single input, single output linear, time invariant system | линейная стационарная система с одним входом и одним выходом (ssn) |
| single input, single output linear, time invariant system | линейная неизменная во времени система с одним входом и одним выходом (ssn) |
| single input, single output linear, time invariant system | линейная неизменяющаяся во времени система с одним входом и одним выходом (ssn) |
| single input, single output linear, time-invariant system | линейная неизменная во времени система с одним входом и одним выходом (ssn) |
| single input, single output linear, time-invariant system | линейная стационарная система с одним входом и одним выходом (ssn) |
| single-input single-output linear time-invariant system | линейная неизменная во времени система с одним входом и одним выходом (ssn) |
| single-input single-output linear time-invariant system | линейная стационарная система с одним входом и одним выходом (ssn) |
| single-input single-output linear time-invariant system | линейная неизменяющаяся во времени система с одним входом и одним выходом (ssn) |
| software development invariants | инварианты разработки ПО (ssn) |
| software development invariants | инварианты разработки программного обеспечения (ssn) |
| specification of invariants | спецификация инвариантов (см. Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools by Jack Greenfield, Keith Short, Steve Cook, Stuart Kent, John Crupi 2004 ssn) |
| subtyping based on the strengthening of type invariants | создание подтипов на основе усиления инвариантов типов (Alex_Odeychuk) |
| subtyping with strengthening type invariants | создание подтипов на основе усиления инвариантов типов (Alex_Odeychuk) |
| Time can elapse in the location only as long as the invariant of the location is true | Течение времени в позиции происходит, пока инвариант этой позиции истинен (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| time-invariant | с постоянными параметрами (ssn) |
| time-invariant | инвариантный по времени (ssn) |
| time-invariant code | код, инвариантный к временному сдвигу (ssn) |
| time-invariant continuous model | непрерывная модель с постоянными параметрами (ssn) |
| time-invariant control | управление с постоянной настройкой (ssn) |
| time-invariant control law | закон управления с постоянной настройкой (ssn) |
| time-invariant systems | системы с постоянными параметрами (ssn) |
| type invariant | инвариант типа (an invariant is an assertion that is expected to be true for all objects of a given type when viewed from outside the package defining the type; корпорации AdaCore Alex_Odeychuk) |
| type invariant checking rules | правила проверки инварианта типа (Alex_Odeychuk) |
| type invariant expression | выражение-инвариант типа (Alex_Odeychuk) |
| types that can have an invariant | типы, которые могут иметь инвариант (Alex_Odeychuk) |
