Courses
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 |
---|---|---|---|
Seminar zu Grundlagen des Software und Systems Engineering |
Knapp Alexander Knapp |
winter semester 2022/23 | Seminar |
Formale Methoden |
Knapp Alexander Knapp, SchellhornGerhard Schellhorn |
winter semester 2022/23 | Vorlesung + Übung |
Semantik von Programmiersprachen |
Knapp Alexander Knapp |
winter semester 2022/23 | Vorlesung + Übung |
Softwareentwicklung eingebetteter Systeme |
Knapp Alexander Knapp |
winter semester 2022/23 | Vorlesung + Übung |