Author of the publication

Transformation techniques can make students excited about formal methods.

, , , and . Inf. Softw. Technol., 50 (12): 1295-1304 (2008)

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

Supporting inconsistency resolution through predictive change impact analysis., , and . MoDeVVa@MoDELS, page 9:1-9:10. ACM, (2009)Transformation techniques can make students excited about formal methods., , , and . Inf. Softw. Technol., 50 (12): 1295-1304 (2008)Safely updating running software: tranquility at the object level., , , and . RAM-SE@ECOOP, page 2:1-2:6. ACM, (2010)Leveraging UML Profiles to generate Plugins from Visual Model Transformations, , and . 127 (3): 5--16 (April 2005)a(MDÆ)2: A Model Driven Approach to Multi-Dimensional Separation of Concerns with OCL., and . ABMB, volume 163 of Electronic Notes in Theoretical Computer Science, page 19-29. Elsevier, (2005)Leveraging UML Profiles to Generate Plugins From Visual Model Transformations, , and . Electr. Notes Theor. Comput. Sci., 127 (3): 5-16 (2005)Copying Subgraphs Within Model Repositories, , and . Electronic Notes in Theoretical Computer Science, (April 2008)Leveraging UML Profiles to Generate Plugins From Visual Model Transformations., , and . SETra@ICGT, volume 127 of Electronic Notes in Theoretical Computer Science, page 5-16. Elsevier, (2004)A graph-based operational semantics for context-oriented programming., , and . COP@ECOOP, page 6:1-6:6. ACM, (2010)Copying Subgraphs Within Model Repositories., , and . GT-VMT@ETAPS, volume 211 of Electronic Notes in Theoretical Computer Science, page 133-145. Elsevier, (2006)