Russian | English |
время пребывания в некотором состоянии | duration of a state (напр., конечного автомата ssn) |
некоторое время | briefly (ssn) |
некоторое ограничение на время реакции | a constraint on response time (ssn) |
некоторое ограничение на время реакции для той или иной операции | a constraint on response time for some operation (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) |
Подсказка для элемента управления появляется, если пользователь некоторое время удерживает указатель мыши на элементе управления | the control tip appears when the user briefly holds the mouse pointer over a control |
через некоторое время | over time (ssn) |
Через некоторое время специализированные методы были объединены в набор основных принципов и общих методов программирования | Over time, the initial, ad hoc approaches have coalesced into a collection of core principles and general programming techniques (см. Foundations of Multithreaded, Parallel, and Distributed Programming 2000 by Gregory R. Andrews ssn) |
чтобы сделать главный шаг в направлении абстракции данных, нужно стать на противоположную точку зрения: забыть на некоторое время о конкретном представлении и взять в качестве определения структуры данных операции сами по себе | 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) |