Публикация №909

Название публикацииАВТОМАТИЗАЦИЯ ВЕРИФИКАЦИИ УТОЧНЕНИЯ ПРИ КОМПОЗИЦИОННОМ ПРОЕКТИРОВАНИИ ИНФОРМАЦИОННЫХ СИСТЕМ И ПОСРЕДНИКОВ / AUTOMATION OF REFINEMENT VERIFICATION IN INFORMATION SYSTEMS COMPOSITIONAL DESIGN
Название на другом языке
Тип публикацииСтатья
ИзданиеСистемы и средства информатики
ИздательНе задан
ISBNНе задан
DOIНе задан
Год издания2005
Том15
Номер3
ГлаваНе задан
Страницы96-119
АннотацияНе задан
АвторыСтупников Сергей Александрович
ссылка в Internet
РИНЦ4
WoS2
Цитируемые
публикации авторов
ИПИ РАН

(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

(1993) СИНТЕЗ - ЯЗЫК ОПРЕДЕЛЕНИЯ, ПРОЕКТИРОВАНИЯ И ПРОГРАММИРОВАНИЯ СРЕД НЕОДНОРОДНЫХ ИНТЕРОПЕРАБЕЛЬНЫХ ИНФОРМАЦИОННЫХ РЕСУРСОВ / SYNTHESIS: THE LANGUAGE FOR DESRIPTION, DESIGN AND PROGRAMMING OF THE HETEROGENEOUS INTEROPERABLE INFORMATION RESOURCE ENVIRONMENT

(2005) СИНТЕЗ КАНОНИЧЕСКИХ МОДЕЛЕЙ, ПРЕДНАЗНАЧЕННЫХ ДЛЯ ДОСТИЖЕНИЯ СЕМАНТИЧЕСКОЙ ИНТЕРОПЕРАБЕЛЬНОСТИ НЕОДНОРОДНЫХ ИСТОЧНИКОВ ИНФОРМАЦИИ