| Subject | English | Russian |
| IT | NOT-OR operation | операция НЕ ИЛИ |
| Gruzovik, IT | NOT-OR operation | операция НЕ-ИЛИ |
| tech. | NOT-OR operation | операция ИЛИ-НЕ |
| progr. | 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) |
| progr. | this is not the case for application-level state machines that are called when the application goes from one discrete mode of operation or user interface display into another | Однако для конечных автоматов, работающих на уровне приложения, которые вызываются при переходе приложения из одного режима выполнения операций или отображения пользовательского интерфейса в другой, такие ситуации не характерны (см. "Writing Mobile Code Essential Software Engineering for Building Mobile Applications" by Ivo Salmre 2005 ssn) |
| progr. | 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) |