Proseminar Werkzeuge und Methoden der Software-Analyse
- type: Proseminar (PS)
- semester: WS 19/20
-
time:
18.10.2019
14:00 - 15:30 wöchentlich
50.34 Raum 131
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
25.10.2019
14:00 - 15:30 wöchentlich
50.34 Raum 131
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
08.11.2019
14:00 - 15:30 wöchentlich
50.34 Raum 131
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
15.11.2019
14:00 - 15:30 wöchentlich
50.34 Raum 131
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
22.11.2019
14:00 - 15:30 wöchentlich
50.34 Raum 131
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
29.11.2019
14:00 - 15:30 wöchentlich
50.34 Raum 131
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
06.12.2019
14:00 - 15:30 wöchentlich
50.34 Raum 131
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
13.12.2019
14:00 - 15:30 wöchentlich
50.34 Raum 131
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
20.12.2019
14:00 - 15:30 wöchentlich
50.34 Raum 131
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
10.01.2020
14:00 - 15:30 wöchentlich
50.34 Raum 131
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
17.01.2020
14:00 - 15:30 wöchentlich
50.34 Raum 131
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
24.01.2020
14:00 - 15:30 wöchentlich
50.34 Raum 131
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
31.01.2020
14:00 - 15:30 wöchentlich
50.34 Raum 131
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
07.02.2020
14:00 - 15:30 wöchentlich
50.34 Raum 131
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
- lecturer: Prof. Dr. Carsten Sinz
- sws: 2
- lv-no.: 2400088
Beschreibung | Das Proseminar gibt eine Einführung in verschiedene Werkzeuge und Methoden der Software-Analyse. Diese hat zum Ziel, Fehler automatisiert zu finden (Bug Finding) oder deren Abwesenheit zu beweisen (Verifikation). Anhand einzelner Vorträge sollen verschiedene Werkzeuge und Methoden zur automatisierten Fehlersuche für eine Reihe von Programmiersprachen vorgestellt werden. Jeder Vortrag besteht aus der Vorstellung eines Werkzeugs, der Beschreibung der dahinterstehenden theoretischen Methode sowie einfachen Anwendungsbeispielen. Je nach Teilnehmerzahl findet das Proseminar wöchentlich während des Semesters oder als Blockseminar am Ende des Wintersemesters statt. In einer Vorbesprechung in der ersten Semesterwoche werden die Themen vorgestellt und verteilt. Eine Anmeldung ist erforderlich. |