Lehrveranstaltungen des Lehrstuhls SWT im Wintersemester 2022/23
Die folgende Tabelle bietet eine Übersicht über das Modulangebot des Lehrstuhls SWT im WiSe 2022/2023. Nähere Informationen zu den Inhalten sind in den Modulhandbüchern der einzelnen Studiengänge zu finden.
Bachelor
SWT-FPS-B: Foundations of Program Semantics
V+Ü | 6 SWS | 6 ECTS | B.Sc. SoSySc |
SWT-SWL-B: Software Engineering Lab
Ü | 4 SWS | 6 ECTS | B.Sc. SoSySc, B.Sc. AI, B.Sc. WI, M.Sc. CitH |
Master
SWT-CPS-M: Applied Software Verification
V+Ü | 4 SWS | 6 ECTS | M.Sc. ISoSySc, M.Sc. AI |
SWT-SWQ-M: Software Quality
V+Ü | 4 SWS | 6 ECTS | M.Sc. ISoSySc |
Legende: V=Vorlesung, Ü=Übung, S=Seminar
Datum, Zeit und Ort des ersten Treffens der jeweiligen Veranstaltung sind dem Vorlesungsverzeichnis UnivIS zu entnehmen.