Search
Now showing items 1-4 of 4
Supporting model animation methods with graph transformation
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2011)
Event-driven model transformations in domain-specific modeling languages
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2011)
Constraint validation-based performance optimizations in domain-specific modeling environments
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2014)
Automated offline verification of graph rewriting-based model transformations
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2012)