Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

Formal Specification, Engineering, Automated Reasoning +15

Bidirectional model transformations in QVT: semantic issues and open questions

Perdita Stevens · Software & Systems Modeling · 2008 · 219 citations · Full text

Engineering, Bidirectional Model Transformations, Formal Methods +5

From model transformation to incremental bidirectional model synchronization

Holger Giese, R. V. Wagner · Software & Systems Modeling · 2008 · 188 citations

Engineering, Synchronization Protocol, Process Control +6

Model transformation in the large

Felix Klar, Alexander Königs, Andy Schürr · 2007 · 52 citations

Engineering, Model Transformation Languages, Package Dependencies +17

MDI: A Rule-based Multi-document and Tool Integration Approach

Alexander Königs, Andy Schürr · Software & Systems Modeling · 2006 · 39 citations

Software Maintenance, Engineering, Information Retrieval +14