English | Russian |
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) |
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) |