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) |
analyze algorithms in a machine-independent way | анализировать алгоритмы машинно-независимым способом (ssn) |
be configured in a specific way | иметь определённую конфигурацию (Alex_Odeychuk) |
build user interfaces in a declarative way | декларативно создавать интерфейс пользователя для приложений (Alex_Odeychuk) |
Concurrency in software is a way to manage the sharing of resources used at the same time | Параллельность в программах – это способ управлять распределением общих ресурсов, используемых одновременно (см. Multi-Core Programming by Shameem Akhter and Jason Roberts 2006 ssn) |
Concurrency in software is a way to manage the sharing of resources used at the same time | Параллельность в программах это способ управлять распределением общих ресурсов, используемых одновременно (см. Multi-Core Programming by Shameem Akhter and Jason Roberts 2006 ssn) |
in a backwards-compatible way | с сохранением обратной совместимости (Microsoft Alex_Odeychuk) |
in a backwards-compatible way | в режиме обратной совместимости (Microsoft Alex_Odeychuk) |
in a cross platform way | для разработки межплатформенного приложения (контекстуальный перевод на русс. язык Alex_Odeychuk) |
in a declarative way | декларативно (Alex_Odeychuk) |
in a language-specific way | с учётом специфики языка программирования (Alex_Odeychuk) |
in a platform independent way | независимо от используемой платформы (Alex_Odeychuk) |
in a reusable way | в повторно используемом формате (Alex_Odeychuk) |
in a semi-declarative way | частично декларативным образом (Alex_Odeychuk) |
in a similar way that | аналогично тому, как (Alex_Odeychuk) |
in a statically typed way | со статической типизацией (Alex_Odeychuk) |
in a statically typed way | статически типизированно (Alex_Odeychuk) |
in a statically typed way | с поддержкой статической типизации (Alex_Odeychuk) |
in a statically typed way | с обеспечением статической типизации (Alex_Odeychuk) |
in a type-safe way | в типобезопасном режиме (Alex_Odeychuk) |
in a type-safe way | с обеспечением типобезопасности (Alex_Odeychuk) |
in a type-safe way | типобезопасно (Alex_Odeychuk) |
need a way to hook themselves to the events of interest in their runtime environment | нуждаться в способе привязки к событиям, о которых идёт речь, в их среде выполнения (ssn) |
program in a better way | программировать лучше (Alex_Odeychuk) |
refactoring in a disciplined way | организованное осуществление рефакторинга (ssn) |
slight digression to look at the concept of safety in a graphic and easy-to-understand way | небольшое отступление, чтобы рассмотреть концепцию безопасности в графическом, простом для понимания виде (см. Modern Operating Systems Fourth ed. by Andrew S. Tanenbaum & Herbert Bos 2015 ssn) |
state in a formal way | выполнять формальным способом (ssn) |
stated in a formal way | выполненный формальным способом (ssn) |
the dependency relationship means that some members of Package A refer in some way to some members of Package B | Отношение зависимости означает, что некоторые члены пакета A обращаются некоторым способом к некоторым членам пакета B (это может означать, что пакет A импортирует некоторые элементы пакета B; this can mean that Package A imports some elements of Package B; см. Maciaszek L.A. and Liong B.L. (2005): Practical Software Engineering) |
the only efficient way to deal with complicated systems is in a hierarchical fashion | Единственно эффективное направление работы со сложными системами основывается на иерархическом подходе |
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) |
Understanding the mechanics of such refactorings is the key to refactoring in a disciplined way | Понимание техники таких методов рефакторинга важно для организованного осуществления рефакторинга (см. Refactoring: Improving the Design of Existing Code by Martin Fowler et al. 1999 ssn) |