Courses on software development, formal methods, and semantic foundations are offered.

 

If not indicated otherwise, all courses are held as part of the Elite Graduate Programme "Software engineering".

(applied filters: semester: current | lecturers: Alexander Knapp | course types: Vorlesung, Vorlesung + Übung, Seminar)

name	lecturer	semester	type
Modellbasierte Softwareentwicklung	Knapp Alexander Knapp, Haneberg Dominik Haneberg	summer semester 2021	Vorlesung + Übung
Ausgewählte Themen des Software Engineerings: Testen	Knapp Alexander Knapp, Haneberg Dominik Haneberg	summer semester 2021	Vorlesung + Übung
Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme	Knapp Alexander Knapp	summer semester 2021	Vorlesung
Modellierung, Spezifikation und Verifikation reaktiver Systeme	Knapp Alexander Knapp, Haneberg Dominik Haneberg	summer semester 2021	Vorlesung + Übung