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) |
few variables that may be made to interact in an arbitrarily assigned way | небольшое число переменных, взаимодействие которых может быть задано произвольным образом (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) |
in an interactive way | в диалоговом режиме (Alex_Odeychuk) |
in an interactive way | интерактивно (Alex_Odeychuk) |
in some way | в некоторых случаях (ssn) |
in some way | некоторым способом (ssn) |
in the normal way | обычным способом (ssn) |
in the ordinary way | в обычном порядке (Alex_Odeychuk) |
need a way to hook themselves to the events of interest in their runtime environment | нуждаться в способе привязки к событиям, о которых идёт речь, в их среде выполнения (ssn) |
once fields and methods are relocated to new class classes, an association link should be established from the old to the new class. This can be one-way link unless there is an obvious need for backward message passing. Of course, the relocation of methods has an impact on client classes that depended on these methods. This necessitates changes to method invocations in these classes | как только поля и методы будут перемещены в новый класс классы, должна быть установлена связь ассоциации от старого класса к новому. это может быть односторонняя связь, если нет очевидной потребности в обратной передаче сообщений. Конечно, перемещение методов должно влиять на классы клиента, которые зависели от этих методов. это требует изменений в обращениях к методам в этих классах (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
one way to depict an activity on the statechart is to label the transition into the state in which the activity executes | один из способов показать деятельность на диаграмме состояний-пометить переход в состояние, где она протекает (см. Designing Concurrent, Distributed, and Real-time Applications with UML Object Technology Series by Hassan Gomaa) |
pattern match in exactly the same way | идентично выполнять сопоставление с образцом (Alex_Odeychuk) |
print the amount that was entered or process it in some other nontrivial way | вывести значение amount, которое вводилось или обрабатывалось каким-то другим нетривиальным образом (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) |
update the code in the following way | вносить следующие изменения в код (Alex_Odeychuk) |
way in which events are handled | способ обработки событий (ssn) |
way in which information is to be structured and the extent of the information | способ структурирования и объём информации (ssn) |