Goals of this tutorial

The goals of this tutorial are to

• give the reader a quick introduction to the field of software renovation as a whole;

• show that many techniques from compiler technology and formal methods can be applied;

• demonstrate that research should be driven by real-life, industrial, case studies;

• indicate that many challenging problems are still unsolved.

We will present the approach we have taken in Amsterdam to solve a variety of problems in the area of system renovation. In the remainder of this introduction we will now first define what software renovation is (Section 1.3), sketch the technological infrastructure we use (Section 1.4), and give pointers for further reading (Section 1.5).