Search
Now showing items 1-10 of 11
Supporting model animation methods with graph transformation
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2011)
Search-based techniques in model-driven engineering
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2013)
Event-driven model transformations in domain-specific modeling languages
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2011)
Languages and frameworks for specifying test artifacts
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2013)
Back-annotation of execution sequences by advanced search and traceability techniqes
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2014)
Incremental model queries in model-driven design
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2013)
Model transformation-based design of dependable systems
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2009)
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)
Transformation-based support for visual languages
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2007)