Now showing items 1-6 of 6
Derived Features for EMF by Integrating Advanced Model Queries
Integrating Efficient Model Queries in State-of-the-art EMF Tools
Replaying Execution Trace Models for Dynamic Modeling Languages
(Budapest University of Technology and Economics, 2012)
Back-end analysis tools aiming to carry out model-based veriﬁcation and validation of dynamic behavioral models frequently produce sequences of simulation steps (called execution traces) as their output. In order to support ...