| Russian | English |
| Бизнес-ценность программного обеспечения увеличивается с более высокими уровнями управления, к которым оно применяется | the business value of software increases with higher management levels that the software applies to (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| в то время как в сфере компьютерных приложений объектно-ориентированное программирование давно стало составной частью всех ведущих языков, в сфере контроллерных приложений оно применяется крайне редко | While in the field of desktop applications object-oriented programming has become an integral part of mainstream languages it is very rarely used in controller applications (ssn) |
| не очень элегантное решение, но оно работает | this solution is not elegant, but it works (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) |
| Решение называется эффективным, если оно решает задачу в рамках её ограничений по ресурсам | A solution is said to be efficient if it solves the problem within its resource constraints (С. А. Shaffer ssn) |
| с другой стороны, сообщение, пришедшее быстрее всех, можно рассматривать как самое точное, поскольку оно предположительно попало в момент наименьшего трафика и поэтому наиболее точно отражает чистое время прохождения | Alternatively, the message that came back fastest can be taken to be the most accurate since it presumably encountered the least traffic underway and therefore is the most representative of the pure propagation time (см. Distributed systems: principles and paradigms / Andrew S. Tanenbaum, Maarten Van Steen 2002 ssn) |
| соединение документа от объекта, до которого оно должно быть соединено | document connection from the object to which it is to be connected (ssn) |
| Уменьшение видов атак тесно связано с моделированием угроз, хотя оно рассматривает проблемы безопасности немного с иной точки зрения | Attack surface reduction is closely aligned with threat modeling, although it addresses security issues from a slightly different perspective (см. ISO/IEC 27034-1:2011 ssn) |
