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)
Johannes Waldmann
2014-07-10