| Russian | English |
| алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов | algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata (ssn) |
| анализ и документирование всей системы, включая окружающую среду, а также разрабатываемую систему | analysis and documentation of the total system, including the environment as well as the required system (см. IEC 61508-7:2010 ssn) |
| важные стимулы, поступающие из внешней среды, и соответствующие им ощущения, а также основные эмоции и способы их отображения | important stimuli from the environment and their corresponding sensations, as well as primary emotions and how to portray them (ssn) |
| верификация и проверка правильности требований, а также функционирования решения | verify and validate requirements and solution performance (ssn) |
| выбор конкретных слов, а также избегание пустых и неинформативных | choosing words that are very specific and avoiding "empty" words (ssn) |
| инструменты расширенного поиска, а также правки и создания обзоров содержимого | tools for advanced searching, and content customization and summarization (ssn) |
| ключевое слово C++, используемое для обозначения инструкции, которая прерывает исполнение циклов и а также используется для отделения вариантов в инструкции | break |
| комплексная библиотека для решения реальных, комплексных и симметричных, а также несимметричных задач о собственных значениях | comprehensive library for solving real or complex and symmetric or unsymmetric eigenvalue problems (ssn) |
| Мартин Фаулер и другие авторы, принявшие участие в написании этой книги, внесли большой вклад в разработку объектно-ориентированного программного обеспечения тем, что пролили свет на процесс рефакторинга. В книге описываются принципы и лучшие способы осуществления рефакторинга, а также указывается, где и когда следует начинать углублённо изучать код, чтобы улучшить его | Martin Fowler and the contributing authors make an invaluable contribution to object-oriented software development by shedding light on the refactoring process. This book explains the principles and best practices of refactoring, and points out when and where you should start digging in your code to improve it (см. Refactoring: Improving the Design of Existing Code by Martin Fowler et al. 1999 ssn) |
| метод архитектурного проектирования и моделирования параллельных объектов метод COMET: метод проектирования программного обеспечения параллельных и распределённых приложений, а также приложений реального времени | Concurrent Object Modeling and Architectural Design Method COMET: A software design method for concurrent, distributed, and real-time applications (см. Designing Concurrent, Distributed, and Real-time Applications with UML Object Technology Series by Hassan Gomaa ssn) |
| методы решения реальных, комплексных и симметричных, а также несимметричных задач о собственных значениях | methods for solving real or complex and symmetric or unsymmetric eigenvalue problems (ssn) |
| мы рассмотрели функции Neutrino, ответственные за манипулирование временем, включая таймеры и их применение, а также тайм-ауты ядра | We've looked at Neutrino's time-based functions, including timers and how they can be used, as well as kernel timeouts (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009) |
| Нам нужна была лишь базовая функциональность: инициализация экрана, поддержка растровых шрифтов, поддержка спрайтовой графики, обеспечение прозрачности и полупрозрачности, а также создание временных рабочих буферных областей для поддержки более сложных графических процедур | we needed only basic functionality: a screen setup, bitmapped font support, sprite support, transparency and translucency, and some temporary working buffers for compositing some of the more complex graphics (источник Game Architecture and Design / Andrew Rollings, David Morris (2004) ssn) |
| Одним из важных этапов добавления информации в имена является выбор конкретных слов, а также избегание пустых и неинформативных | Part of "packing information into names" is choosing words that are very specific and avoiding "empty" words (см. "The Art of Readable Code" by Dustin Boswell, Trevor Foucher 2012 ssn) |
| пересылка информации внутри компьютера, а также между компьютером и его устройствами ввода-вывода | transfer of information within a computer as well as between the computer and its I/O devices (ssn) |
| подготовка персонала в части диагностики и устранения отказов, а также тестирования системы | the training of staff in diagnosing and repairing faults and in system testing (ssn) |
| Различия в представлении между конечными автоматами Мили и Мура, а также разновидности методов, основанных на использовании конечных автоматов | the differences in representation between Mealy and Moore machines, and variations of finite-state techniques |
| Разработанное фирмой IBM программное обеспечение, предоставляющее инструменты расширенного поиска, а также правки и создания обзоров содержимого | Software developed by IBM that provides tools for advanced searching, and content customization and summarization (см. enterprise information portal ssn) |
| решение реальных, комплексных и симметричных, а также несимметричных задач о собственных значениях | solving real or complex and symmetric or unsymmetric eigenvalue problems (ssn) |
| сопутствующие методы решения реальных, комплексных и симметричных, а также несимметричных задач о собственных значениях | supporting methods for solving real or complex and symmetric or unsymmetric eigenvalue problems (ssn) |
| структура элементов пользовательского интерфейса и их взаимоотношений, а также их взаимосвязь с базисной функциональностью | structure of elements of a user interface and their interrelationships and their relationship to underlying functionality (ssn) |
| тип многоуровневого брандмауэра, объединяющего преимущества пакетных фильтров, а также шлюзов сеансового и прикладного уровней | SPI (Stateful Packet Inspection; русскоязычный эквивалент отсутствует и вводить его признано нецелесообразным) |
| этот дополнительный программный модуль представляет собой интерфейс для CANopen сети и выполняет функции загрузки и выгрузки данных конфигурирования и программ, сканирование сети, верификацию конфигураций устройства, управление сетью и программой, а также сервисы настройки уровней | this plug-in builds the interface to a CANopen network and provides functions for down- and uploading of configuration and program data, scanning of a network, verification of device configurations, network and program control as well as layer setting services |
