English | Russian |
A package may have package imports to other packages. This means that package A or element of package A can refer to package B or to its elements. Consequently, a class is owned by only one package but it can be imported to other packages. Imports introduce dependencies between packages and their elements | Пакет может импортировать другие пакеты. это означает, что пакет A или элемент пакета A может обратиться к пакету B или к его элементам. Следовательно, класс принадлежит только одному пакету, но он может быть импортирован в другие пакеты. Импорт представляет зависимость между пакетами и их элементами (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators | Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
To prove more general theorems about recursively defined processes, it is necessary to introduce a law which states that every properly guarded recursive equation has only one solution | для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
represent processes with unbounded behaviour it is necessary to introduce another convention, namely an unlabelled arrow leading from a leaf circle back to some earlier circle in the tree | для представления процессов, обладающих неограниченным поведением, необходимо ещё одно условное обозначение, а именно: непомеченная дуга, ведущая из висячей вершины назад к некоторой вершине дерева (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
So, what's the problem? Simply this: Refactoring is risky. It requires changes to working code that can introduce subtle bugs | так в чём проблема? Только в том, что с рефакторингом связан известный риск. Он требует внести изменения в работающий код, что может привести к появлению трудно находимых ошибок в программе (см. Refactoring: Improving the Design of Existing Code by Martin Fowler et al. 1999) |