English | Russian |
a constraint on response time for some operation | некоторое ограничение на время реакции для той или иной операции (ssn) |
additional operations on condition variables | дополнительные операции с условными переменными (ssn) |
arithmetic operation is performed on the top two stack words | выполнение арифметических операций над содержимым двух слов, находящихся в верхней части стека (ssn) |
arithmetic operations on floating-point numbers | арифметические операции над числами с плавающей запятой (ssn) |
arrays also have constraints on particular operations instead of general constraints | массивы также имеют требования на частные операции вместо общих требований (см. "Abstraction and Specification in Program Development" by Barbara Liskov & John Guttag 1986 ssn) |
certain operations on clock constraints | определённые операции на временных ограничениях (ssn) |
element-wise operations on aggregate data types | поэлементные операции над агрегатными типами данных (Alex_Odeychuk) |
exception on timeout during online operations | исключение по задержке во время онлайн-выполнения (ssn) |
logged operations that occurred on the primary database | операции, занесенные в журнал первичной базы данных (ssn) |
main operations on a dictionary | основные операции над словарём (ssn) |
more operations on traces | дальнейшие операции над протоколами (ssn) |
on-line operation | неавтономная работа (ssn) |
operations on arrays | операции над массивами (IBM Alex_Odeychuk) |
operations on chars | операции с символьными операндами (ssn) |
operations on languages | операции над языками (ssn) |
operations on linked lists | операции со связанными списками (ssn) |
operations on strings | операции со строками (ssn) |
operations on traces | операции над протоколами (ssn) |
operations on vectors | операции с векторами (ssn) |
passive I/O device: A device that does not generate an interrupt on completion of an input or output operation. The input from a passive input device needs to be read either on a polled basis or on demand | пассивное устройство ввода / вывода: устройство, которое не генерирует прерываний при поступлении новых данных или завершении операции вывода. Чтение данных от пассивного устройства ввода производится путём периодического опроса или по мере необходимости (см. Designing Concurrent, Distributed, and Real-time Applications with UML Object Technology Series by Hassan Gomaa) |
perform many operations on many rational numbers | производить большое количество операций над большим количеством рациональных чисел (ssn) |
perform operations on files | выполнять операции обработки файлов (Alex_Odeychuk) |
performing operations on an array | выполнение действий в массиве (напр., в Microsoft Excel ssn) |
request an operation on | инициировать операцию с (Alex_Odeychuk) |
set of distinct values, characterized by properties of those values and by operations on those values | множество различающихся значений, охарактеризованных свойствами этих значений и операциями над ними (определение типа данных (datatype) в ISO/IEC 11404:1996, статья 4.11 ssn) |
severity: The degree of impact that a defect has on the development or operation of a component or system | степень серьёзности: важность воздействия конкретного дефекта на разработку или функционирование компонента или системы |
the signature depends on the interface type which can be operation, stream or signal | Сигнатура зависит от типа интерфейса, который может быть интерфейсом операций, потоков и сигналов (см. ISO/IEC 10746-1, ГОСТ Р ИСО/МЭК 10746-1-2004) |
this same sort of situation also occurs when performing operations on chars | Аналогичная ситуация возникает при выполнении операций с символьными операндами (ssn) |
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) |