Russian | English |
некоторое ограничение на время реакции | 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 |
чтобы сделать главный шаг в направлении абстракции данных, нужно стать на противоположную точку зрения: забыть на некоторое время о конкретном представлении и взять в качестве определения структуры данных операции сами по себе | 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) |