| Russian | English |
| в противном случае облачная среда останется просто удобной песочницей, другими словами, она будет использоваться преимущественно в качестве безопасного места для разработки и тестирования приложений | Otherwise, the cloud will remain a nice sandbox, in other words, it'll be used mainly as a place for application testing and development (ssn) |
| возможность моделировать параллелизм и довольно простого объединения подсистем, представленных сетями Петри | ability to model parallelism and to easily combine subsystems modeled as Petri nets (ssn) |
| Возможность моделировать параллелизм и довольно простого объединения подсистем, представленных сетями Петри, делают сети Петри весьма полезным инструментом моделирования сложной аппаратуры вычислительных систем | the ability to model parallelism and to easily combine subsystems modeled as Petri nets makes the Petri net model very useful for modeling more complex computer hardware |
| для беззнаковых сложения и вычитания есть существенно более простые формулы, использующие команды сравнения | for unsigned add's and subtract's, there are much simpler formulas in terms of comparisons |
| как мы увидим позже, это – очень удобное значение для многих простых задач, опирающихся на синхронизацию, в которых используются программные циклы временной задержки и счётчики / таймеры | as we will see, this unsurprisingly is a convenient value for a range of simple timing applications, using software delay loops and the counter/timer |
| Наша цель – помочь программистам в составлении программ высокого качества, являющихся несложными, легко модифицируемыми и простыми в обращении | Our goal is to help programmers construct programs of high quality-programs that are reliable and reasonably easy to understand, modify, and maintain (см. "Abstraction and Specification in Program Development" by Barbara Liskov & John Guttag 1986 ssn) |
| Наша цель помочь программистам в составлении программ высокого качества, являющихся несложными, легко модифицируемыми и простыми в обращении | our goal is to help programmers construct programs of high quality-programs that are reliable and reasonably easy to understand, modify, and maintain (см. "Abstraction and Specification in Program Development" by Barbara Liskov & John Guttag 1986) |
| Нашей целью при декомпозиции программы является создание модулей, которые в свою очередь представляют собой небольшие программы, взаимодействующие друг с другом по хорошо определённым и простым правилам | our goal in decomposing a program is to create modules that are themselves small programs that interact with one another in simple, well-defined ways (см. "Abstraction and Specification in Program Development" by Barbara Liskov & John Guttag 1986) |
| Haskell не просто хороший "учебный язык". это настоящий язык программирования, имеющий, в частности, такие средства поддержки и расширения, как интерфейс с функциями, написанными на Си, и возможности компонентно-ориентированного программирования | Haskell is not just a good 'teaching language'. It is a practical programming language, supported by having extensions such as interfaces to C functions and component-based programming |
| небольшие программы, взаимодействующие друг с другом по хорошо определённым и простым правилам | small programs that interact with one another in simple, well-defined ways (ssn) |
| программы высокого качества, являющиеся несложными, легко модифицируемыми и простыми в обращении | programs of high quality-programs that are reliable and reasonably easy to understand, modify, and maintain (ssn) |
| простая и унифицированная семантика | simple and uniform semantics (ssn) |
| простая микроволновая печь, оборудованная кнопками включения питания, таймера и запуска системы | simple microwave oven equipped with buttons to set the power and the timer and to start the system (ssn) |
| Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL | A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| простые данные и элементарные процедуры | primitive data and primitive procedures (ssn) |
| простые и стандартные элементы вариантов использования | simplified and standard use cases (ssn) |
| простые и стандартные элементы прецедентов использования | simplified and standard use cases (ssn) |
| простые и стандартные элементы сценариев использования | simplified and standard use cases (ssn) |
| простые классы и методы без параметров | simple classes and parameterless methods (ssn) |
| простые средства управления и индикаторы дискретного действия | simple digital control and indicators (ssn) |
| средства обучения – части пользовательского интерфейса, поддерживающие новичков за счёт лёгкости использования, быстрого обучения и непосредственного доступа к системным возможностям ; характеризуются очевидными и понятными свойствами и поведением, хорошей обозримостью, устойчивой обратной связью, простыми и стандартными элементами вариантов использования, являются частью модели прогрессивного использования | acquisition facilities: Those portions of a user interface supporting novice usage through ease of use, rapid learning, and immediate access to system capabilities ; are characterized by obvious and familiar features and behaviors, high feature visibility, abundant feedback, simplified and standard use cases ; part of the progressive usage model (см. "Software for Use: A Practical Guide to the Models and Methods of Usage- Centered Design" by Larry L. Constantine, Lucy A. D. Lockwood 1999 ssn) |
| средства обучения части пользовательского интерфейса, поддерживающие новичков за счёт лёгкости использования, быстрого обучения и непосредственного доступа к системным возможностям ; характеризуются очевидными и понятными свойствами и поведением, хорошей обозримостью, устойчивой обратной связью, простыми и стандартными элементами вариантов использования, являются частью модели прогрессивного использования | acquisition facilities: Those portions of a user interface supporting novice usage through ease of use, rapid learning, and immediate access to system capabilities ; are characterized by obvious and familiar features and behaviors, high feature visibility, abundant feedback, simplified and standard use cases ; part of the progressive usage model (см. "Software for Use: A Practical Guide to the Models and Methods of Usage- Centered Design" by Larry L. Constantine, Lucy A. D. Lockwood 1999 ssn) |
| хорошо определённые и простые правила | simple, well-defined ways (ssn) |
