| Russian | English |
| Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели | Certainly, most of the research on continuous-time model checking is based on this model (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| блокирование на время ввода / вывода | blocking on input/output (при вызове операции блокирования на время ввода/вывода (blocking on input/output) управление потоку не возвращается до тех пор, пока не будут завершены операции ввода/вывода) |
| блокировка на время чтения | bracket read lock (общая блокировка, которая устанавливается на время операции и по её окончании снимается. Этот тип блокировки гарантирует, что будут прочитаны только зафиксированные данные. Она не гарантирует, что последующие операции чтения дадут тот же результат, так как по окончании чтения блокировка снимается и данные могут изменяться ssn) |
| в жизненном цикле ПО время и трудозатраты на сопровождение кода существенно превышают время и трудозатраты на первоначальное написание кода. При сопровождении кода необходимо прочитать и попробовать понять его, чтобы затем изменить или расширить. Любой рефакторинг кода в процессе его создания, независимо от того, сколь он мал, может принести существенную пользу эксплуатационному персоналу ПО | in the software lifecycle, the time and effort put into the code maintenance significantly outweighs the time and effort put into writing the code in the first place. Code maintenance is reading it and trying to understand it in order to modify or extend it. Any refactoring of code during its production, no matter how small, can significantly benefit software maintainers (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| время жизненного цикла запроса на включение изменений | pull request cycle time (cio.com Alex_Odeychuk) |
| время, затрачиваемое на выполнение действия | duration of an action (напр., конечным автоматом, кот. программировался на языке SFC (стандарт IEC 61131-3) ssn) |
| время и трудозатраты на первоначальное написание кода | time and effort put into writing the code in the first place (ssn) |
| время и трудозатраты на сопровождение кода | time and effort put into the code maintenance (ssn) |
| время на завершение запроса на включение изменений с помощью слияния в репозиторий | time to merge code into a repository (cio.com Alex_Odeychuk) |
| время на изготовление поставляемого заказчику результата | turnaround time on customer deliverables (cio.com Alex_Odeychuk) |
| время на интеграцию кода в репозиторий | time to merge code into a repository (cio.com Alex_Odeychuk) |
| время на исправление | fixing time (ssn) |
| время на исправление дефекта | bug-fixing time (threatdown.com Alex_Odeychuk) |
| время на кодирование | coding time (ssn) |
| время на обработку ошибок | error handling time (ssn) |
| время на планирование | planning time (ssn) |
| время, отпущенное на выполнение каждого шага конвейера | time allowed for each step of the pipe (ssn) |
| время, отпущенное на выполнение каждого шага конвейера t, постоянно и фиксированно | time allowed for each step of the pipe is a fixed constant time t (см. "Petri Net Theory And The Modeling Of Systems" by James L. Peterson 1981 ssn) |
| время, потраченное на выполнение процессом системных вызовов в пространстве ядра | time spent executing system calls in kernel space on the process' behalf (ssn) |
| время реакции на прерывание | interrupt response (задержка между аппаратным прерыванием (hardware interrupt) и реальной обработкой этого прерывания ssn) |
| время реакции системы на прерывание | interrupt latency (ssn) |
| время реакции на события | reaction times to events (ssn) |
| диаграмма объекта: диаграмма, на которой изображена структура конкретного объекта во время выполнения | object diagram: A diagram that depicts a particular object structure at run-time (см. Design Patterns: Elements of Reusable Object-Oriented Software by Erich Gamma, Richard Helm, Ralph Johnson, John M. Vlissides ssn) |
| дополнительное время на исправление | more fixing time (ssn) |
| задержка на заданное время | delay for the specified time (ssn) |
| значительное влияние на время реакции | big impact on response times (ssn) |
| измерять время, затраченное на выполнение метода | measure the time spent in the method execution (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
| источник данных на время разработки | development-time datasource (Alex_Odeychuk) |
| на всё время вызова | for the duration of the call |
| на всё время существования объекта | for the duration of the lifetime of an object |
| некоторое ограничение на время реакции | a constraint on response time (ssn) |
| некоторое ограничение на время реакции для той или иной операции | a constraint on response time for some operation (ssn) |
| общее время, затраченное на редактирование документа | total time spent editing the document (ssn) |
| Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет | Typically, the designer provides a constraint on response time for some operation, and the verifier automatically determines if it is satisfied or not (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| оптимальное время влияния на надёжную разработку проекта | optimal time to influence a project's trustworthy design (ssn) |
| откладывание на неопределённое время | shelving (ssn) |
| относительный таймер, который обеспечивает задержку на заданное время | relative timer that will delay for the specified time (ssn) |
| Подсказка для элемента управления появляется, если пользователь некоторое время удерживает указатель мыши на элементе управления | the control tip appears when the user briefly holds the mouse pointer over a control |
| поправка на время запаздывания | dead time correction (ssn) |
| приостанавливаться на время выполнения ожидаемой операции | be suspended while the operation being awaited is executed (Alex_Odeychuk) |
| проверки на возникновение ошибок во время выполнения наиболее часто вызываемых методов | error checking during the execution of the most frequently called members (ssn) |
| проверять на наличие всех возможных ошибок во время выполнения | test for all potential run-time errors (корпорации AdaCore Alex_Odeychuk) |
| проверяться на корректность во время компиляции | be checked compile-time for correctness (Alex_Odeychuk) |
| размещаемый в памяти на короткое время | allocated in a short period of time (Microsoft Alex_Odeychuk) |
| решаемая за полиномиальное время на недетерминированной машине Тьюринга задача | nondeterministic polynomial time problem (о принятии решения ssn) |
| решаемая за полиномиальное время на недетерминированной машине Тьюринга задача | nondeterministic polynomial time hard problem (поиска ssn) |
| решаемая за полиномиальное время на недетерминированной машине Тьюринга задача | nondeterministic polynomial time complete problem (поиска и принятия решения ssn) |
| Система выводит на экран выбранное значение, а также время его измерения | the system displays the selected value, together with its time of occurrence (см. Object-Oriented Analysis and Design with Applications 3rd Edition by Grady Booch) |
| системное время – это время, потраченное на выполнение процессом системных вызовов в пространстве ядра | system time is the time spent executing system calls in kernel space on the process' behalf (ssn) |
| системное время это время, потраченное на выполнение процессом системных вызовов в пространстве ядра | system time is the time spent executing system calls in kernel space on the process' behalf (ssn) |
| создаваться на всё время выполнения приложения | be created for the whole application lifetime (англ. термин взят из кн.: De Sanctis V. ASP.NET Core and Angular 2 Alex_Odeychuk) |
| текущая дата и время по часам на сервере | current date and time on the server's clock (ssn) |
| текущее время по часам на сервере | current time on the server's clock (ssn) |
| указатель на информацию о типе во время выполнения | pointer to run-time type information (Alex_Odeychuk) |
| чтобы сделать главный шаг в направлении абстракции данных, нужно стать на противоположную точку зрения: забыть на некоторое время о конкретном представлении и взять в качестве определения структуры данных операции сами по себе | the key step towards data abstraction is to reverse the viewpoint: forget for the moment about the representation, take the operations themselves as defining the data structure (см. Object-Oriented Software Construction second edition by Bertrand Meyer) |