Correct-by-construction synthesis of model transformations using transformation patterns

Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo, Jeffrey Terrell, Steffen Zschaler. Correct-by-construction synthesis of model transformations using transformation patterns. Software and Systems Modeling, 13(2):873-907, 2014. [doi]

Bibliographies