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

Название публикацииОТОБРАЖЕНИЕ СПЕЦИФИКАЦИЙ, ВЫРАЖЕННЫХ СРЕДСТВАМИ ЯДРА КАНОНИЧЕСКОЙ МОДЕЛИ, В ЯЗЫК AMN
Название на другом языке
Тип публикацииСтатья
ИзданиеСистемы и средства информатики
ИздательНе задан
ISBNНе задан
DOIНе задан
Год издания2005
Том15
Номер3
ГлаваНе задан
Страницы69-95
АннотацияНе задан
АвторыСтупников Сергей Александрович
ссылка в Internet
РИНЦ4
WoS0
Цитируемые
публикации авторов
ИПИ РАН

(1998) COMPONENT-BASED INFORMATION SYSTEMS DEVELOPMENT TOOL SUPPORTING THE SYNTHESIS DESIGN METHOD

(2001) INFORMATION SOURCES REGISTRATION AT A SUBJECT MEDIATOR AS COMPOSITIONAL DEVELOPMENT

(2005) АВТОМАТИЗАЦИЯ ВЕРИФИКАЦИИ УТОЧНЕНИЯ ПРИ КОМПОЗИЦИОННОМ ПРОЕКТИРОВАНИИ ИНФОРМАЦИОННЫХ СИСТЕМ И ПОСРЕДНИКОВ / AUTOMATION OF REFINEMENT VERIFICATION IN INFORMATION SYSTEMS COMPOSITIONAL DESIGN

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

(2005) ФОРМАЛЬНАЯ СЕМАНТИКА ЯДРА КАНОНИЧЕСКОЙ ОБЪЕКТНОЙ ИНФОРМАЦИОННОЙ МОДЕЛИ