| Subject | Russian | English |
| progr. | графическое представление неориентированного и ориентированного графов вместе с их формальным описанием | drawing of a graph and directed graph with their formal definitions (ssn) |
| 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) |
| mil., avia. | метод формального описания | formal description technique |
| 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. | состоять как из формальных, так и из текстовых описаний | consist of both a formal definition and a prose definition (ssn) |
| IT | формальное описание | formal specification |
| progr. | формальное описание | formal definition (ssn) |
| IT | формальное описание | formal description |
| gen. | формальное описание | representation |
| media. | формальное описание набора правил и соглашений, которые управляют обменом информацией между устройствами в сети | protocol |
| progr. | формальное описание типа | formal type declaration (ssn) |
| progr. | формальное описание того, как работает приложение | formal definition of how the application operates (ssn) |
| progr. | формальное описание языков программирования | formal specification of programming languages (ssn) |
| progr. | формальные методы описания синтаксиса | formal methods of describing syntax (ssn) |
| progr. | формальный язык описания фундаментальных концепций параллелизма | formal language for describing the fundamental concepts of concurrency (ssn) |
| microel. | язык формального описания топологии | formal layout description language |
| el. | язык формального описания цифровых схем | scheme language for formally describing digital circuits |
