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.