WPM Software-Architektur /Fortgeschrittenes Software Engineering (Prof. Nitsche)

Software-Architektur (Prinzipen, Architektur-Stile, Architekturdokumentation, Muster, Frameworks, Referenzarchitektur)

Testen und Testsysteme

Model-basierte Software-Entwicklung

Modellierung (Formale Modelle, Verifikation)