Lehrveranstaltungen
Es werden Lehrveranstaltungen im Bereich der Softwareentwicklung, der formalen Methoden und der semantischen Grundlagen angeboten.
Wenn nicht explizit anders vermerkt, richten sich alle Lehrveranstaltungen an Studenten des Elitestudiengangs "Software engineering".
(Angewandte Filter: Semester: aktuelles | Dozenten: Alexander Knapp | Vorlesungsarten: Vorlesung, Vorlesung + Übung, Seminar)
| Name | Dozent | Semester | Typ |
|---|---|---|---|
| Semantik von Programmiersprachen |
Knapp Alexander Knapp |
Wintersemester 2020/21 | Vorlesung + Übung |
| Seminar zu Grundlagen des Software und Systems Engineering |
Knapp Alexander Knapp |
Wintersemester 2020/21 | Seminar |
| Softwareentwicklung eingebetteter Systeme |
Knapp Alexander Knapp |
Wintersemester 2020/21 | Vorlesung + Übung |
| Formale Methoden |
Knapp Alexander Knapp, SchellhornGerhard Schellhorn |
Wintersemester 2020/21 | Vorlesung + Übung |