Formal Foundations of Software Evolution: Workshop Report

Tom Mens, Vrije Universiteit Brussel, Belgium
Michel Wermelinger, Universidade Nova de Lisboa, Portugal

ABSTRACT. This paper summarises the results of the discussions held during the workshop on Formal Foundations of Software Evolution in Lisbon on March 13, 2001. These results can be used as guidelines when dealing with software evolution in general, and when providing formal tool support for it in particular.

KEY WORDS. software evolution, software engineering, formal foundations, software change, software maintenance engineering, reverse engineering, re-engineering, team engineering


Back to publications