| Subject | English | Russian |
| progr. | consist of both a formal definition and a prose definition | состоять как из формальных, так и из текстовых описаний (ssn) |
| progr. | drawing of a graph and directed graph with their formal definitions | графическое представление неориентированного и ориентированного графов вместе с их формальным описанием (ssn) |
| progr. | for formal definitions the set-theoretical and graph grammar-based approaches are used | для формальных определений используются теоретико-множественный и структурно-лингвистический подходы |
| progr. | for these reasons, I think we will see future specifications to consist of both a formal definition and a prose definition | по этой причине я полагаю, что в будущем спецификации будут состоять как из формальных, так и из текстовых описаний (см. Frederic P. Brooks, Jr. THE MYTHICAL MAN-MONTH Essays on Software Engineering) |
| progr. | formal definition | формализованное определение (ssn) |
| progr. | formal definition | формальное описание (ssn) |
| math. | formal definition | формальное определение |
| progr. | formal definition applies only to externals | формальное определение относится только к внешним спецификациям (ssn) |
| progr. | formal definition of a context-free grammar | формальное определение контекстно-свободной грамматики (ssn) |
| progr. | formal definition of correctness | формальное определение правильности (ssn) |
| progr. | formal definition of how the application operates | формальное описание того, как работает приложение (ssn) |
| progr. | formal definition of remote operations data types | формализованное определение типов данных удалённых операций (ssn) |
| progr. | formal definition of the notion of modularity | формальное определение модульности (ssn) |
| progr. | formal definitions | формальные определения (ssn) |
| notar. | formal element of a definition of a crime | состав преступления |
| progr. | formal technique of objectives definition | формальный аппарат целеполагания (ssn) |
| progr. | formal technique of objectives definition, the sequence of actions logical control, and interference of system activity indicators deviations from the norm | формальный аппарат целеполагания, логического управления последовательностью действий и взаимовлияния отклонений от нормы показателей деятельности системы (ssn) |
| scient. | full formal definition | полное формальное определение (Alex_Odeychuk) |
| scient. | full formal definition | полное формализованное определение (Alex_Odeychuk) |
| math. | general definition of formal systems | общие сведения о формальных системах (ssn) |
| progr. | the formal definitions put forward so far have inspired wonder at their elegance and confidence in their precision | Предлагавшиеся до сих пор формальные определения вызывали восхищение своей элегантностью и уверенность в их точности (см. Frederic P. Brooks, Jr. THE MYTHICAL MAN-MONTH Essays on Software Engineering) |
| progr. | the state machine is just a formal definition of how the application operates | Конечный автомат – это просто формальное описание того, как работает приложение (см. "Writing Mobile Code Essential Software Engineering for Building Mobile Applications" by Ivo Salmre 2005) |
| progr. | the state machine is just a formal definition of how the application operates | Конечный автомат это просто формальное описание того, как работает приложение (см. "Writing Mobile Code Essential Software Engineering for Building Mobile Applications" by Ivo Salmre 2005) |
