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