Anforderungs-Analyse

(vgl. Skript Weicker)

• Lastenheft (Anforderungen des Kunden, Anwendungsfälle)
• Pflichtenheft (System-Modell, Plan zur Realisierung der Anforderungen)

Wiederholung Modellierung

• Klassendiagram stellt Signatur dar (dabei: Klasse = einstellige Relation)
• in dieser Signatur kann die restliche Spezifikation (als prädikatenlogische Formel) hingeschrieben werden