SWT-ASV-M: Applied Software Verification (Übung)

Dozent/in:

Johannes Gareis

Angaben:

Übung, 2,00 SWS

Termine:

Do, 10:00 - 12:00, WE5/03.004
Das Modul beginnt am Di 25.04.2017 um 14:15 Uhr in Raum WE5/02.020. In der ersten Vorlesungswoche finden für das Modul SWT-ASV-M nur Übungen statt. Diese werden im SWT-Lab (WE5/03.098) stattfinden.

SWT-ASV-M: Applied Software Verification (Übung) / Ersatztermin

Dozent/in:

Johannes Gareis

Angaben:

Übung

Termine:

Einzeltermin am 24.5.2017, 8:00 - 10:00, WE5/03.004
Einzeltermin am 9.6.2017, 12:00 - 14:00, WE5/03.004
Einzeltermin am 14.6.2017, 8:00 - 10:00, WE5/03.004

SWT-ASV-M: Applied Software Verification (Vorlesung)

Dozent/in:

Gerald Lüttgen

Angaben:

Vorlesung, 2,00 SWS

Termine:

Di, 14:00 - 16:00, WE5/04.003
Das Modul beginnt am Di 25.04.2017 um 14:15 Uhr in Raum WE5/02.020. In der ersten Vorlesungswoche finden für das Modul SWT-ASV-M nur Übungen statt. Diese werden im SWT-Lab (WE5/03.098) stattfinden.

SWT-PR1-M Masterprojekt Softwaretechnik und Programmiersprachen

Dozentinnen/Dozenten:

Gerald Lüttgen, Johannes Gareis

Angaben:

Übung, 4,00 SWS

Termine:

Bitte melden Sie sich bei Interesse an diesen Projekt vor/zu Semesterbeginn bei einem der Dozenten.

SWT-PR2-M: SWT Masters Project in Software Systems Science

Dozentinnen/Dozenten:

Gerald Lüttgen, Johannes Gareis

Angaben:

Übung, 6,00 SWS

Termine:

Bitte melden Sie sich bei Interesse an diesen Projekt vor/zu Semesterbeginn bei einem der Dozenten.

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

Dozent/in:

Gerald Lüttgen

Angaben:

Seminar, 2,00 SWS

Termine:

Die erste Veranstaltung findet am Di 25.04.2017 um 12:15 Uhr in Raum WE5/03.098 statt, in der auch die Anmeldung zu dem Seminar vorgenommen wird.