Author of the publication

Formalising Behaviour Preserving Program Transformations.

, , and . ICGT, volume 2505 of Lecture Notes in Computer Science, page 286-301. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Safely updating running software: tranquility at the object level., , , and . RAM-SE@ECOOP, page 2:1-2:6. ACM, (2010)Intensional changes: modularizing crosscutting features., , , and . SAC, page 2176-2182. ACM, (2010)Transformation Language Integration Based on Profiles and Higher Order Transformations., , and . SLE, volume 5452 of Lecture Notes in Computer Science, page 208-226. Springer, (2008)Structured Transformations and Computation Graphs for Actor Grammars., and . Graph-Grammars and Their Application to Computer Science, volume 532 of Lecture Notes in Computer Science, page 446-460. Springer, (1990)Concurrency of Node-Label-Controlled Graph Transformations., , , and . WG, page 91-108. Hanser, Munich, (1982)Leveraging UML Profiles to generate Plugins from Visual Model Transformations, , and . 127 (3): 5--16 (April 2005)Abstract semantics for ESM systems, and . Fundamenta Informaticae, 26 (3 and 4): 315--339 (June 1996)Intensional changes avoid co-evolution!, , and . RAM-SE@ECOOP, page 4:1-4:6. ACM, (2010)Expressing Component-Relating Aspects with Graph Transformations., and . AGTIVE, volume 3062 of Lecture Notes in Computer Science, page 149-162. Springer, (2003)Formalizing refactorings with graph transformations, , , and . 17 (4): 247--276 (July 2005)