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