The goal of this FWO network was to come to a consistent set of formally-founded techniques and associated tools to support software developers with the common problems they encounter when developing large and complex software systems. The interdisciplinary character of the research network was reflected in the uniform use of mathematical formalisms as a foundation for concrete tools to support software evolution throughout the entire software development life-cycle. This resulted in formally founded tools for forward engineering, reverse engineering, re-engineering and team engineering.