Russian | English |
действия, выполняемые в процессе переходов | actions taken during transitions (ssn) |
если действием некоторого перехода будет действие только одного из двух процессов, то для каждой позиции второго временного автомата в параллельной композиции будет совместный переход | if the action of a transition is only an action of one of the two processes, then there will be a transition in the parallel composition for each location of the other timed automaton (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
Первый шаг в процессе – переход от отсутствия повторного использования к неформальному повторному использованию кода, основанному на копировании и адаптации | the first step in the process is a transition from no reuse to informal code reuse based on copying and adaptation (см. Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools / Jack Greenfield, Keith Short et al. 2004) |
Первый шаг в процессе переход от отсутствия повторного использования к неформальному повторному использованию кода, основанному на копировании и адаптации | the first step in the process is a transition from no reuse to informal code reuse based on copying and adaptation (см. Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools / Jack Greenfield, Keith Short et al. 2004) |
переход к использованию современного процесса | modern process transition (ssn) |
переход к итерационному процессу | transitioning to an iterative process (ssn) |
процесс перехода от системы типов к системе экземпляров | transformation of type system to instance system (ssn) |