| Titel | Typ | Semester | SWS |
|---|---|---|---|
| Software-Produktlinien-Entwicklung | Vorlesung / Übung (VÜ) | SS 2024 | 2 |
| Softwaretechnik I | Vorlesung / Übung (VÜ) | SS 2024 | 4 |
| Titel | Typ | Semester | SWS |
|---|---|---|---|
| Softwarequalitätssicherung und Softwaretest | Seminar (S) | SS 2024 | 2 |
| Proseminar Softwaretechnik: Herausragende Persönlichkeiten der Informatik | Proseminar (PS) | SS 2024 | 2 |
| Titel | Typ | Semester | SWS |
|---|---|---|---|
| Praktikum: Aktuelle Themen des Quantencomputings | Praktikum (P) | SS 2024 | 3 |
| Praktikum: Automotive Software Engineering | Praktikum (P) | SS 2024 | 4 |
| Praktikum: Fortgeschrittene Software-Entwicklungswerkzeuge | Praktikum (P) | SS 2024 | 4 |
Weiterführende Veranstaltungen
Eine Übersicht zu Kursen aus dem Gebiet der Formalen Methoden befindet sich hier.