DictionaryForumContacts

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