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 | Lehrende: Alexander Knapp | Typen: Vorlesung, Vorlesung + Übung, Seminar)
| Name | Dozent | Semester | Typ |
|---|---|---|---|
| Seminar zu Grundlagen des Software und Systems Engineering |
Knapp Alexander Knapp |
Wintersemester 2019/20 | Seminar |
| Semantik von Programmiersprachen |
Knapp Alexander Knapp |
Wintersemester 2019/20 | Vorlesung + Übung |
| Formale Methoden |
Knapp Alexander Knapp, SchellhornGerhard Schellhorn |
Wintersemester 2019/20 | Vorlesung + Übung |
| Softwareentwicklung eingebetteter Systeme |
Knapp Alexander Knapp |
Wintersemester 2019/20 | Vorlesung + Übung |
| Logik für Informatiker |
Knapp Alexander Knapp, FothTobias Foth |
Wintersemester 2019/20 | Vorlesung |