Refactoring: Herkunft

Kent Beck: Extreme Programming, Addison-Wesley 2000:

• Paar-Programmierung (zwei Leute, ein Rechner)
• test driven: erst Test schreiben, dann Programm implementieren
• Design nicht fixiert, sondern flexibel

Grundlagen: semantikerhaltende Transformationen

• von Daten (Mengenlehre)
• von Unterprogrammen (Lambda-Kalkül)