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 |
---|---|---|---|
Modellbasierte Softwareentwicklung |
Knapp Alexander Knapp, HanebergDominik Haneberg |
Sommersemester 2021 | Vorlesung + Übung |
Ausgewählte Themen des Software Engineerings: Testen |
Knapp Alexander Knapp, HanebergDominik Haneberg |
Sommersemester 2021 | Vorlesung + Übung |
Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme |
Knapp Alexander Knapp |
Sommersemester 2021 | Vorlesung |
Modellierung, Spezifikation und Verifikation reaktiver Systeme |
Knapp Alexander Knapp, HanebergDominik Haneberg |
Sommersemester 2021 | Vorlesung + Übung |