Search
Now showing items 1-10 of 11
Quick fix generation for DSMLs
(IEEE Computer Society Press, 2011)
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 ...
Implementing Efficient Model Validation in EMF Tools
(IEEE Computer Society Press, 2011)