Software-Engineering ist die Lehre von der ingenieurmäßigen Entwicklung, Erstellung und Wartung von großen Software-Paketen, unter Anwendung des jeweiligen Standes der Technik in den Teilbereichen Spezifikation, Architektur, Programmierung, Test und Dokumentation.
Vorlesung
- Formale Verifikation von Programmen
- Testmethoden für Software
- Software-Entwurfsmuster (Design Patterns)
- UML-Notation
Übungen / Labor
Zum Thema Programmverifikation werden wöchentlich Übungsaufgaben gestellt, die korrigiert werden und in gemeinsamen Übungsstunden besprochen werden.
Zu den anderen Themen werden Laborübungen am Computer durchgeführt, in denen Beispiele programmiert werden. Programmiersprache ist Java.