Die Studierenden erlangen die Fähigkeit, große Software-Systeme zu entwerfen und systematisch korrekt zu realisieren. Sie erwerben neben Kenntnissen über Entwicklungs- und Analyseverfahren auch Erfahrungen mit aktuellen Software-Werkzeugen, -Umgebungen und -Prozessen.
Der Inhalt umfasst u.a.:
Die Veranstaltung wurde 2 mal im Vorlesungsverzeichnis WiSe 2025/26 gefunden: