Search
Now showing items 1-10 of 10
Dynamic Backwards Slicing of Model Transformations
(IEEE Computer Society Press, 2012)
Derived Features for EMF by Integrating Advanced Model Queries
(Springer, 2012)
Integrating Efficient Model Queries in State-of-the-art EMF Tools
(Springer, 2012)
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 verification and validation of dynamic behavioral models frequently produce sequences of simulation steps (called execution traces) as their output. In order to support ...