DictionaryForumContacts

   Russian
Terms for subject Programming containing все мы | all forms
RussianEnglish
если мы достигнем этой цели, то разработка отдельных модулей может осуществляться различными людьми независимо друг от друга, без необходимости общения друг с другом, при этом все эти объединённые вместе модули будут функционировать правильноif we achieve this goal, different people will be able to work on different modules independently, without needing much communication among themselves, and yet the modules will work together (см. "Abstraction and Specification in Program Development" by Barbara Liskov & John Guttag 1986 ssn)
Конечно, мы не можем считать, что однажды установленная схема управления задачами будет идеальной для всех возможных режимов использованияof course, we cannot expect a single fixed tasking metaphor to be the ideal solution for all possible modes of use (см. Project Oberon: The Design of an Operating System and Compiler Edition 2005 by N. Wirth, J. Gutknecht перевод Е.В. Борисова, Л.Н. Чернышова, 2012)
мы поддерживаем упорядочение представления, записывая все меньшие, чем значение узла, элементы в левое поддерево этого узла ... we keep the representation sorted by storing all elements less than a node's value in the node's left subtree (см. "Abstraction and Specification in Program Development" by Barbara Liskov & John Guttag 1986)
мы предполагаем, что темп времени одинаков для всех часовwe assume that time passes at the same rate for all clocks (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)