English | Russian |
an instance of the fact variable | экземпляр переменной-факта (Alex_Odeychuk) |
an ordinary inductive definition is one whose validity depends on the fact that the right hand side of each equation uses only indices less than that of the left hand side | Содержательность обычного индуктивного определения основана на том, что индексы, используемые в правой части каждого уравнения, меньше, чем индексы левой части (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
object referenced does not in fact belong to the expected subclass | объект, на который указывает ссылка, фактически не принадлежит предполагаемому подклассу (ssn) |
static initialization of the fact | статическая инициализация факта (Alex_Odeychuk) |
suffer from the fact that | иметь следующий недостаток: (ssn) |
the fact that a software system is a component of an information system implies that software engineering is an aspect of a broader discipline of systems engineering | Факт, что система ПО является компонентом информационной системы, подразумевает, что программная инженерия – лишь часть более широкой дисциплины – инженерии систем (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
the fact that a software system is a component of an information system implies that software engineering is an aspect of a broader discipline of systems engineering | Факт, что система ПО является компонентом информационной системы, подразумевает, что программная инженерия лишь часть более широкой дисциплины инженерии систем (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |