13 citations · 27 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.SE2020★ 3 cited
Multilevel Typed Graph Transformations
Uwe Wolter, Fernando Macías, Adrian Rutle
Multilevel modeling extends traditional modeling techniques with a potentially unlimited number of abstraction levels. Multilevel models can be formally represented by multilevel t…
cs.SE2020
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…