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