Author of the publication

Formalising Behaviour Preserving Software Evolution: A feasibility study

, , and . (2002)Workshop on Unanticipated Software Evolution.

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

Formalising Behaviour Preserving Software Evolution: A feasibility study, , and . (2002)Workshop on Unanticipated Software Evolution.Formalizing refactorings with graph transformations, , , and . 17 (4): 247--276 (July 2005)Actor Grammars., and . Math. Syst. Theory, 22 (2): 75-107 (1989)The Decomposition of ESM Computations.. TAGT, volume 1073 of Lecture Notes in Computer Science, page 271-287. Springer, (1994)A Survey of NLC Grammars., and . CAAP, volume 159 of Lecture Notes in Computer Science, page 114-128. Springer, (1983)Graph Grammar-Based Description of Object-Based Systems., and . REX Workshop, volume 489 of Lecture Notes in Computer Science, page 341-404. Springer, (1990)Basic notions of actor grammars: A graph grammar model for actor computation., and . Graph-Grammars and Their Application to Computer Science, volume 291 of Lecture Notes in Computer Science, page 280-298. Springer, (1986)Modeling Petri Nets by Local Action Systems., and . GT-VMT@ICALP, volume 50 of Electronic Notes in Theoretical Computer Science, page 275-281. Elsevier, (2001)Decompositions of Relations: A Comprehensive Approach., and . Advances in Data Base Theory, page 73-100. New York, Plemum Press, (1979)A graph-based operational semantics for context-oriented programming., , and . COP@ECOOP, page 6:1-6:6. ACM, (2010)