Towards Static Analysis of Executable DSMLs Using Model Typing

Reza Gorgan Mohammadi, Ahmad Abdollahzadeh Barforoush. Towards Static Analysis of Executable DSMLs Using Model Typing. In Khaled Gaaloul, Rainer Schmidt, Selmin Nurcan, Sérgio Guerreiro, Qin Ma 0002, editors, Enterprise, Business-Process and Information Systems Modeling - 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings. Volume 214 of Lecture Notes in Business Information Processing, pages 429-444, Springer, 2015. [doi]

Abstract

Abstract is missing.