Formal Foundations for Software Evolution Programming Technology Lab Tom Mens [email protected] http://prog.vub.ac.be/~tommens January 2001 © Programming Technology Lab…