Lehrangebot Sommersemester 2020
Vorlesungszeit: 20.04.2020 - 18.07.2020
- Vorlesung Methoden und Modelle des Systementwurfs (6 SWS, 8LP)
Vorlesung Dienstag 09:15-12:45, Zoom
Übung Dienstag 13:15-14:45, Zoom
Dozent: Prof. Timo Kehrer / Dr. Thomas Vogel / Alexander Schultheiß - Vorlesung Software-Verifikation (6 SWS, 9LP)
Vorlesung Mittwoch 13-15, Zoom
Vorlesung Donnerstag 13-15, Zoom
Übung Mittwoch 15-17, Moodle
Dozent: Prof. Holger Schlingloff / Dr. Thomas Vogel - Seminar Debugging und automatisierte Fehlerbereinigung (2 SWS, 3LP)
Dienstag 9-11, Moodle/Zoom
Dozent: Dipl.Inf. Simon Heiden / Prof. Lars Grunske - Semesterprojekt Entwicklung eines Java IDE Plugins für (semi-)automatisches Debugging (4 SWS, 12LP)
Montag 9-13, Moodle/Zoom
Dozent: Dipl.Inf. Simon Heiden - Semesterprojekt Modularisierung der Applikation RAY-UI (4 SWS, 12LP)
Donnerstag, 9-13,
Dozent: Dr. Thomas Vogel / Yannic Noller