| 435 | РАЗВИТИЕ МЕТОДОВ И СРЕДСТВ ИНТЕГРАЦИИ НЕОДНОРОДНЫХ ИНФОРМАЦИОННЫХ РЕСУРСОВ И ИХ СЕМАНТИЧЕСКОЙ ИНТЕРОПЕРАБЕЛЬНОСТИ | 2008 |
| 223 | ПРЕДСТАВЛЕНИЕ ЯЗЫКОВ UML И OCL В КАНОНИЧЕСКОЙ ИНФОРМАЦИОННОЙ МОДЕЛИ | 2005 |
| 9003 | МЕТОД ОРГАНИЗАЦИИ АЛГОРИТМОВ ОБРАБОТКИ ДАННЫХ В КОНФИГУРИРУЕМЫХ ИНФОРМАЦИОННЫХ СИСТЕМАХ | 2014 |
| 442 | КАНОНИЧЕСКАЯ МОДЕЛЬ ПРОЦЕССОВ И ЕЁ ФОРМАЛЬНАЯ ИНТЕРПРЕТАЦИЯ | 2005 |
| 909 | АВТОМАТИЗАЦИЯ ВЕРИФИКАЦИИ УТОЧНЕНИЯ ПРИ КОМПОЗИЦИОННОМ ПРОЕКТИРОВАНИИ ИНФОРМАЦИОННЫХ СИСТЕМ И ПОСРЕДНИКОВ / AUTOMATION OF REFINEMENT VERIFICATION IN INFORMATION SYSTEMS COMPOSITIONAL DESIGN | 2005 |