DictionaryForumContacts

   Russian
Terms for subject Programming containing на некоторое время | all forms | exact matches only | in specified order only
RussianEnglish
некоторое ограничение на время реакции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)