Terms for subject Programming containing ограничения системы

Russian	English
временные ограничения на уровне системы	system-level timing constraints (ssn)
вычислительная система с временными ограничениями	computer system with timing constraints (ssn)
задачи оптимизации динамических систем при наличии ограничений на траекторию	optimization problems for dynamic systems with path constraints (ssn)
компьютерная система с временными ограничениями	computer system with timing constraints (ssn)
модели и описания сервисов и ограничений системы	models and descriptions for system services and for system constraints (ssn)
ограничения, накладываемые архитектурой системы	conventions (Alex_Odeychuk)
ограничения системы	system constraints (ssn)
параллельная система с временными ограничениями	concurrent system with timing constraints (ssn)
проверка соответствия результатов отдельных этапов разработки программной системы требованиям и ограничениям, сформулированным для них на предыдущих этапах	conformance checking of results of separate phases of software development to requirements and restrictions stated for these results on previous phases (верификация ssn)
ряд ограничений на проверяемую систему	series of restrictions on the system being verified (ssn)
система высокоуровневого программирования в ограничениях	high-level constraint programming system (Alex_Odeychuk)
система логического программирования в ограничениях	CLP system (Alex_Odeychuk)
система логического программирования в ограничениях	constraint logic programming system (Alex_Odeychuk)
система программирования в ограничениях	constraint programming system (Alex_Odeychuk)
система со сложными временными ограничениями	system with complex timing constraints (ssn)
Системы реального времени-это параллельные системы с временными ограничениями	Real-time systems are concurrent systems with timing constraints (см. Software Modeling and Design by Hassan Gomaa ssn)
такое ограничение значительно облегчает чтение и поддержку больших систем	this constraint greatly improves the readability and maintainability of large systems (см. "Types and Programming Languages" by Benjamin C. Pierce 2002 ssn)
Учитывая это, природа компьютеризации проектов современных механических систем становится более понятной. Вычислительные способности и ограничения должны рассматриваться на всех стадиях процесса проектирования и реализации. В частности, эффективность окончательной промышленной системы будет существенно зависеть от качества функционирования программного обеспечения в реальном масштабе времени, которое управляет механизмом	with this context, the compucentric nature of modern mechanical systems designs becomes clearer. Computational capabilities and limitations must be considered at all stages of the design and implementation process. In particular, the effectiveness of the final production system will depend very heavily on the quality of the real time software that controls the machine (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World)