Die Vorlesung zielt auf vertiefte Kenntnisse von Techniken und Methoden für Analyse, Design, Implementierung und Weiterentwicklung großer Softwaresysteme. Dazu wird ein systematischer Überblick über Entwicklungsmethoden gegeben, die jenseits der objektorientierten liegen. Die speziellen Fragestellungen in frühen Phasen der Entwicklung (Anforderungsermittlung) werden eingeführt. Als Entwurfsmethodiken werden SA (Strukturierte Analyse), Entscheidungsanalyse, Modularer Entwurf mit Geheimnisprinzip, Aspektorientierter Entwurf, formale Systeme, u.v.m. diskutiert. Themen der Qualitätssicherung und der Evolution von Software (Testen, Wartung) runden das Bild des Software-Lebenszyklus ab.
