| Subject | English | Russian |
| progr. | encapsulation mechanism for the specification of state machine behavior | механизм инкапсуляции, служащий для спецификации поведения конечного автомата (ssn) |
| progr. | Entry and exit actions may not be evaded by any means, including the occurrence of exceptions. They provide an encapsulation mechanism for the specification of state machine behavior, with a guarantee that necessary actions will be performed under all circumstances | Действий при входе и выходе невозможно избежать, даже при выбрасывании исключений. Эти действия представляют собой механизм инкапсуляции, служащий для спецификации поведения конечного автомата, и гарантируют выполнение неких обязательных действий при любых условиях (см. "The UML Reference Manual" by J.Rumbaugh, Ivar Jacobson, Grady Booch 1999 ssn) |
| progr. | meet a formal specification of the program's required behavior. | соответствовать формальной спецификации требуемого поведения программы (корпорации AdaCore Alex_Odeychuk) |
| progr. | specification of behavior | спецификация поведения (см. Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools by Jack Greenfield, Keith Short, Steve Cook, Stuart Kent, John Crupi 2004 ssn) |
| progr. | specification of state machine behavior | спецификация поведения конечного автомата (ssn) |