Proseminar, Wintersemester 2017/18
News
- 27.06.2017: Wir sind online!
Termine
| 20.10.2017, 13:00 | Einführungsveranstaltung im Seminarraum 5052 (Informatikzentrum) | ||||||||
| 10.11.2017 | Letzte Rücktrittsmöglichkeit | ||||||||
| 13.11.2017 | Vorlage der detaillierten Inhaltsübersicht | ||||||||
|
Einführung in die Literaturrecherche (Informatik-Bibliothek) | ||||||||
| 11.12.2017 | Vollständige Fassung der Ausarbeitung | ||||||||
| 15.01.2017 | Vollständige Fassung der Folien | ||||||||
| 01./02.02.2017 | Blockseminar (Informatikzentrum E1, Raum 4201b) |
Inhalt
Das Gebiet der Programmanalyse beschäftigt sich mit Methoden zur (automatischen) Analyse von Computersoftware. Die Anwendungen solcher Methoden sind sehr vielfältig und reichen von von der Unterstützung des Programmverständnisses über optimierende Compiler und Interpreter bis hin zum Nachweis von Korrektheitseigenschaften von Software. Entsprechend vielseitig sind auch die mathematischen Modelle, auf denen solche Analysen basieren, sowie die darauf operierenden Algorithmen. Das Ziel dieses Proseminars besteht darin, einen Überblick über grundlegende Modelle für Softwaresysteme, Logiken zur formalen Spezifikation ihrer Eigenschaften sowie Verfahren zur automatischen Überprüfung solcher Eigenschaften zu geben.
Zeitplan
| Zeit | Donnerstag | Freitag |
|---|---|---|
| 09:00-10:20 | Gallmann, Probst, Lam, Kloos | Azendorf, Bittner, Krebber, Hashem |
| 10:45-11:45 | Schmidt, Alotbah, Jabs | Laas, Kourani, Mazurkiewicz |
| 14:00-15:20 | Kim, Lommen, Conze, Hörnschemeyer | Wang, Schäfer, Kunstwald, Silva |
Themen
Anmeldung
Die Anmeldung erfolgt zwischen dem 5. und dem 16. Juli 2017 über die zentrale Fachgruppenseite. Nachträgliche Anmeldungen sind nicht möglich.
Weitere Informationen
Kontakt
Thomas Noll <noll at cs.rwth-aachen.de>