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