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 |
WS 2019/20 | Seminar |
| Semantik von Programmiersprachen |
Knapp Alexander Knapp |
WS 2019/20 | Vorlesung + Übung |
| Formale Methoden |
Knapp Alexander Knapp SchellhornGerhard Schellhorn |
WS 2019/20 | Vorlesung + Übung |
| Softwareentwicklung eingebetteter Systeme |
Knapp Alexander Knapp |
WS 2019/20 | Vorlesung + Übung |
| Logik für Informatiker |
Knapp Alexander Knapp FothTobias Foth |
WS 2019/20 | Vorlesung |