狠狠撸

emf incremental evaluation model query design space exploration derived features emf-incquery eclipse model transformation back-annotation simulation traces change-driven transformation graph tansformation petri nets quick fix domain specific modeling languages search-based software engineering reactive democamp neon viatra ecf2017 diffmerge