Lehrveranstaltungen (Wintersemester 2024/25)

Hinweis: Die Veranstaltungen Einführung ins Quantencomputing und Automotive Software Engineering werden dieses Semester nicht angeboten.

Vorlesungen
Titel	Typ	Semester	SWS
Softwaretest und Qualitätsmanagement (SQM)	Vorlesung + Übung (VÜ)	WS 24/25	2+2

Seminare
Titel	Typ	Semester	SWS
Proseminar Softwaretechnik: Herausragende Persönlichkeiten der Informatik	Proseminar (PS)	WS 24/25	2

Praktische Kurse
Titel	Typ	Semester	SWS
Praktikum: Fortgeschrittene Software-Entwicklungswerkzeuge	Praktikum (P)	WS 24/25	4

Abschlussarbeiten

Eine Liste der offenen und laufenden Abschlussarbeiten finden Sie hier.

Eine Übersicht zu Kursen aus dem Gebiet der Formalen Methoden befindet sich hier.