Ivannikov Institute for System Programming of the RAS

About formal interpretation of architecture models.


Denis Buzdalov and Alexey Khoroshilov


It is essential for nowadays architecture models to be able to be analyzed by automatic tools. This paper discusses what is needed for this and how robust interpretability can be achieved.

Full text of the paper in pdf


achitecture models, formal interpretation, automated analysis


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

Research Group

Software Engineering

All publications during 2015 All publications