Институт системного программирования им. В.П. Иванникова РАН


О формальной интерпретации архитектурных моделей.

Авторы

Денис Буздалов, Алексей Хорошилов.

Аннотация

Современные архитектурные модели важно анализировать при помощи автоматизированных инструментов. В этой статье обсуждается что может необходимо для этого, а также предлагаются некоторые способы достижения интерпретируемости архитектурных моделей.

Полный текст статьи в формате pdf (на английском)

Ключевые слова

achitecture models, formal interpretation, automated analysis

Издание

The Second Architecture Centric Virtual Integration (ACVI) Workshop Madrid, Spain on June, 26.

Научная группа

Технологии программирования

Все публикации за 2015 год Все публикации