English | Russian |
A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators | Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
command languages for which syntax testing is effective | командные языки, для которых синтаксическое тестирование эффективно (ssn) |
Command languages for which syntax testing is effective are a common part of most applications | Командные языки, для которых синтаксическое тестирование эффективно являются неотъемлемой функциональной частью большинства приложений (ssn) |
computations can be implemented using the most effective computing medium | вычисления могут быть осуществлены с помощью наиболее эффективной вычислительной среды (ssn) |
cost-effective development center | бюджетный центр разработки (с относительно низкой оплатой труда (по международным меркам) Alex_Odeychuk) |
cost effective device | экономичное устройство (ssn) |
cost effective infrastructure | экономичная инфраструктура (ssn) |
cost effective multi controller scale out architecture | экономичная масштабируемая многоконтроллерная архитектура (ssn) |
cost effective platform | экономичная платформа (ssn) |
cost effective production archive | экономичный производственный архив (ssn) |
cost effective secondary storage | экономичное вторичное хранение (ssn) |
cost effective storage | экономичное хранение (ssn) |
cost effective storage | экономичная система хранения (ssn) |
costs effective infrastructure | экономичная инфраструктура (ssn) |
costs effective multi controller scale out architecture | экономичная масштабируемая многоконтроллерная архитектура (ssn) |
costs effective platform | экономичная платформа (ssn) |
effective and popular way | эффективный и популярный способ (ssn) |
effective deployment | эффективное развёртывание (ssn) |
effective element | эффективный элемент (ssn) |
effective elements | эффективные элементы (ssn) |
effective feature | элемент определения класса член класса, определённый и реализованный в данном класса (ssn) |
effective frame | эффективный кадр (ssn) |
effective implementation | эффективная реализация (ssn) |
effective implementation of the technical requirements | эффективная реализация технических требований (ssn) |
effective improvements | эффективные усовершенствования (ssn) |
effective information archive | эффективный информационный архив (ssn) |
effective instruction | эффективная инструкция (ssn) |
effective instructions | эффективные инструкции (ssn) |
effective memory management | эффективное управление памятью (из кн.: Солтер Н.А., Клепер С.Дж. С++ для профессионалов Alex_Odeychuk) |
effective method for creating a set of buttons | эффективный метод создания набора кнопок (ssn) |
effective modeling | эффективное моделирование (ssn) |
effective modularization | эффективная модульность (ssn) |
effective pipeline | эффективный технологический процесс (Alex_Odeychuk) |
effective process variable | эффективное значение переменной процесса (ssn) |
effective process-thread design | эффективный проект процессов-потоков (ssn) |
effective product development and maintenance process | эффективный процесс разработки и поддержки продукта (ssn) |
effective programming | эффективное программирование (ssn) |
effective recovery infrastructure | эффективная инфраструктура восстановления (ssn) |
effective requirements management | эффективное управление требованиями (ssn) |
effective skipping | эффективные перескоки (ssn) |
effective software process | эффективный процесс разработки программного обеспечения (ssn) |
effective solution | эффективное решение (напр., задачи ssn) |
effective solutions | эффективные решения (ssn) |
effective test process | эффективный процесс тестирования (ssn) |
effective test program design | эффективный дизайн программы тестирования (ssn) |
effective way | эффективный способ (разработки алгоритма программы ssn) |
effective way to design an algorithm for a program | эффективный способ разработки алгоритма программы (ssn) |
efficient and effective | работоспособный и эффективный (ssn) |
efficient and effective software architecture | работоспособная и эффективная структура ПО (ssn) |
giving effective instructions | указание эффективных инструкций (ssn) |
ingredients of effective modeling | составляющие эффективного моделирования (ssn) |
key elements of an effective product development and maintenance process | ключевые элементы эффективного процесса разработки и поддержки программного продукта (ssn) |
key elements of an effective software process | ключевые элементы эффективного процесса разработки программного обеспечения (ssn) |
key elements of an effective test process | ключевые элементы эффективного процесса тестирования (ssn) |
more effective | более эффективный (ssn) |
more effective skipping | более эффективные перескоки (ssn) |
most effective | наиболее эффективный (ssn) |
most effective computing medium | наиболее эффективная вычислительная среда (ssn) |
one final comment is that an effective guarding system can reduce the requirements of the emergency stop system by reducing the exposure | в заключение следует заметить, что требования к системе аварийной остановки можно снизить за счёт применения эффективной системы ограждения (т.е. система будет прекращать работу всякий раз, когда персонал подвергается риску; i.e. the system will be inoperative whenever people are at risk; см. Programmable Controllers – An Engineer's Guide by E.A. Parr (2003)) |
one of the key ideas in effective programming | одно из главных условий эффективного программирования (ssn) |
popular and effective technique | популярная и эффективная технология (ssn) |
process of selecting and documenting the most effective elements | процесс выбора и документирования наиболее эффективных элементов (ssn) |
requisite team skills for effective requirements management | профессиональные навыки, которыми должна обладать команда для эффективного управления требованиями (ssn) |
simple and effective way | простой и эффективный способ (ssn) |
Software design is the process of selecting and documenting the most effective elements that together will implement the software system requirements | Дизайн программного обеспечения – это процесс выбора и документирования наиболее эффективных элементов, которые в совокупности будут реализовать требования к программной системе (ssn) |
Software design is the process of selecting and documenting the most effective elements that together will implement the software system requirements | Дизайн программного обеспечения это процесс выбора и документирования наиболее эффективных элементов, которые в совокупности будут реализовать требования к программной системе (ssn) |
the most effective elements | наиболее эффективные элементы (ssn) |
the most effective elements that together will implement the software system requirements | наиболее эффективные элементы, которые в совокупности будут реализовать требования к программной системе (ssn) |
the synchronous approach, in which all memory elements in the system are simultaneously updated using a globally distributed periodic synchronization signal that is, a global clock signal, represents an effective and popular way to enforce this ordering | Эффективным и популярным способом реализации этого упорядочения является синхронный подход, при котором все запоминающие элементы системы обновляются одновременно с использованием глобального периодического синхронизирующего сигнала т.е. глобального тактового сигнала (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003) |
ugly, but effective | несколько неприятно, но эффективно (ssn) |
walkthroughs and inspections are two popular and effective techniques | сквозной контроль и инспекции-вот две популярные и эффективные технологии (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering ssn) |