• Objektorientierung versus OO-light (Sachbearbeitermethode)
• Toledo als Beispiel einer etwas formaleren Spezifikationsmethode
• Die Spezifikation folgt der Architektur
• Vor- und Nachteile von Spezifikationen
• Was XP-Leute über solche Spezifikationen sagen

Literatur: 
Brössler, Siedersleben: Softwaretechnik. Praxiswissen für Softwareingenieure, 
Kent Beck et al.: Diverse zu XP siehe link, 
Keller: VAA-Handbuch für die Spezifikation fachlicher Anwendungsbausteine.

Folien zur Vorlesung 2002 (Wolfgang Keller, unter Verwendung der Spezifikationssprache Toledo)

Folien zur Vorlesung 2003 (Geschäftsprozessmodellierung, Klaudius Messner)

Folien zur Vorlesung 2003 (Spezifikation unter Verwendung von UML, Bernhard Anzeletti)

Links auf andere Vorlesungen zu ähnlichen Themen