SWT-ASV-M: Applied Software Verification

Dozent/in:

Jin Woo Ro

Angaben:

Übung, 2,00 SWS

Termine:

Do, 10:00 - 12:00, WE5/03.004
Vorbesprechung: Dienstag, 26.4.2022, 14:15 - 15:45 Uhr, WE5/03.004

SWT-ASV-M: Applied Software Verification

Dozent/in:

Gerald Lüttgen

Angaben:

Vorlesung, 2,00 SWS

Termine:

Di, 14:00 - 16:00, WE5/03.004
Vorbesprechung: Dienstag, 26.4.2022, 14:15 - 15:45 Uhr, WE5/03.004

SWT-PR1-M Masterprojekt Softwaretechnik und Programmiersprachen

Dozent/in:

Gerald Lüttgen

Angaben:

Übung, 4,00 SWS

Termine:

Dieses Modul muss im Sommersemester 2022 leider entfallen. / This module is cancelled in summer semester 2022.

SWT-SEM-M: Seminar Software Engineering and Programming Languages

Dozentinnen/Dozenten:

Jin Woo Ro, Bernhard Luedtke

Angaben:

Seminar, 2,00 SWS

Termine:

Mi, 16:00 - 18:00, WE5/03.004
Vorbesprechung: Mittwoch, 27.4.2022, 16:15 - 17:45 Uhr, WE5/03.004

SYSNAP-Sem-M: Seminar Operating Systems [SYSNAP-Sem-M]

Dozent/in:

Michael Engel

Angaben:

Seminar/Hauptseminar, 2 SWS, benoteter Schein, ECTS: 3

Termine:

Termin nach Vereinbarung