Empowering Multilevel DSMLs with Integrated Runtime Verification

Fernando Macías, Adrian Rutle, Volker Stolz +2

Within Model-Driven Software Engineering, Domain-Specific Modelling has proven to be a powerful technique to specify systems and systems' behaviour in a formal, yet understandable…