| 9236 | ИНТЕГРАЦИЯ СРЕДСТВ СПЕЦИФИКАЦИИ ИТ-СЕРВИСОВ | 2012 |
| 9237 | РАЗРАБОТКА ИНТЕГРИРОВАННОЙ СИСТЕМЫ СПЕЦИФИКАЦИИ ИТ-СЕРВИСОВ | 2012 |
| 2094 | СРЕДСТВА ПОДДЕРЖКИ ИСПОЛНЯЕМОГО КОДА, СИНТЕЗИРОВАННОГО ПО СПЕЦИФИКАЦИЯМ, НА ЯЗЫКЕ CELL / EXECUTING SYSTEM FOR CODE SYNTHESIZED ON THE BASE OF SPECIFICATIONS ON THE LANGUAGE CELL | 2011 |
| 2095 | АЛГОРИТМЫ ФУНКЦИОНИРОВАНИЯ КОМПИЛЯТОРА ЯЗЫКА CELL / ALGORITHMS FOR THE COMPILER OF THE LANGUAGE CELL | 2011 |
