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 | Lehrende: Alexander Knapp | Typen: Vorlesung, Vorlesung + Übung, Seminar)

name	lecturer	semester	type
Seminar zu Grundlagen des Software und Systems Engineering	Knapp Alexander Knapp	winter semester 2019/20	Seminar
Semantik von Programmiersprachen	Knapp Alexander Knapp	winter semester 2019/20	Vorlesung + Übung
Formale Methoden	Knapp Alexander Knapp, Schellhorn Gerhard Schellhorn	winter semester 2019/20	Vorlesung + Übung
Softwareentwicklung eingebetteter Systeme	Knapp Alexander Knapp	winter semester 2019/20	Vorlesung + Übung
Logik für Informatiker	Knapp Alexander Knapp, Foth Tobias Foth	winter semester 2019/20	Vorlesung