Teaching Sommer Term 2020
Term: 20.04.2020 - 18.07.2020
Please note, that the most detailed information (the links) about the lectures are only provided in German
- Lecture Methoden und Modelle des Systementwurfs (6 SWS, 8LP)
Lecture Tuesday 09:15-12:45, Zoom
Excercise Tuesday 13:15-14:45, Zoom
Lecturer: Prof. Timo Kehrer / Dr. Thomas Vogel / Alexander Schultheiß - Lecture Software-Verifikation (6 SWS, 9LP)
Lecture Wednesday 13-15, Zoom
Lecture Thursday 13-15, Zoom
Excercise Wednesday 15-17, Moodle
Lecturer: Prof. Holger Schlingloff / Dr. Thomas Vogel - Seminar Debugging und automatisierte Fehlerbereinigung (2 SWS, 3LP)
Tuesday 9-11, Moodle/Zoom
Lecturer: Dipl.Inf. Simon Heiden / Prof. Lars Grunske - Semester-project Entwicklung eines Java IDE Plugins für (semi-)automatisches Debugging (4 SWS, 12LP)
Monday 9-13, Moodle/Zoom
Lecturer: Dipl.Inf. Simon Heiden - Semester-project Modularisierung der Applikation RAY-UI (4 SWS, 12LP)
Thursday, 9-13,
Lecturer: Dr. Thomas Vogel / Yannic Noller