Software-Architektur (Prinzipen, Architektur-Stile, Architekturdokumentation, Muster, Frameworks, Referenzarchitektur)
Testen und Testsysteme
Model-basierte Software-Entwicklung
Modellierung (Formale Modelle, Verifikation)
- Lehrperson: Thomas Nitsche
Software-Architektur (Prinzipen, Architektur-Stile, Architekturdokumentation, Muster, Frameworks, Referenzarchitektur)
Testen und Testsysteme
Model-basierte Software-Entwicklung
Modellierung (Formale Modelle, Verifikation)