Search
Now showing items 111-117 of 117
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)
Next Generation Embedded Systems
(Debrecen University Press, 2013)
A Model-driven Framework for Guided Design Space Exploration
(IEEE Computer Society Press, 2011)
Towards Dynamic Backward Slicing of Model Transformations
(IEEE Computer Society Press, 2011)