Публикация №909(БАЛЛЫ 5)
| Название публикации | АВТОМАТИЗАЦИЯ ВЕРИФИКАЦИИ УТОЧНЕНИЯ ПРИ КОМПОЗИЦИОННОМ ПРОЕКТИРОВАНИИ ИНФОРМАЦИОННЫХ СИСТЕМ И ПОСРЕДНИКОВ / AUTOMATION OF REFINEMENT VERIFICATION IN INFORMATION SYSTEMS COMPOSITIONAL DESIGN |
|---|---|
| Название на другом языке | |
| Тип публикации | Статья |
| Издание | Системы и средства информатики |
| Издатель | Не задан |
| ISBN | Не задан |
| DOI | Не задан |
| Год издания | 2005 |
| Том | 15 |
| Номер | 3 |
| Глава | Не задан |
| Страницы | 96-119 |
| Аннотация | Не задан |
| Авторы | |
| ссылка в Internet | |
| РИНЦ | 4 |
| WoS | 2 |
| Баллы | 5 |
| Грант % | 100 |
| Цитируемые публикации авторов ФИЦ ИУ РАН | (1998) COMPONENT-BASED INFORMATION SYSTEMS DEVELOPMENT TOOL SUPPORTING THE SYNTHESIS DESIGN METHOD (2003) COMPOSITIONAL APPROACH FOR HETEROGENEOUS SOURCES REGISTRATION AT A SUBJECT MEDIATOR (1999) COMPOSITIONAL SPECIFICATION CALCULUS FOR INFORMATION SYSTEMS DEVELOPMENT (2001) INFORMATION SOURCES REGISTRATION AT A SUBJECT MEDIATOR AS COMPOSITIONAL DEVELOPMENT (2003) КОНСТРУИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ НА ОСНОВЕ ИНТЕРОПЕРАБЕЛЬНЫХ СРЕД ИНФОРМАЦИОННЫХ РЕСУРСОВ (2005) ОТОБРАЖЕНИЕ СПЕЦИФИКАЦИЙ, ВЫРАЖЕННЫХ СРЕДСТВАМИ ЯДРА КАНОНИЧЕСКОЙ МОДЕЛИ, В ЯЗЫК AMN |
