Formale Methoden der Softwareentwicklung (Sommersemester 2017)

Vorlesung: Prof. Dr. Markus Müller-Olm

Übungen: Prof. Dr. Markus Müller-Olm, Sebastian Kenter

Eintrag für diese Veranstaltung im HIS/LSF

Learnweb-Kurs zu dieser Veranstaltung

Hinweise

Aktuelle Informationen, Folien und Übungsblätter zu dieser Veranstaltung werden im zugehörigen Learnweb-Kurs veröffentlicht. Zum Login auf der Learnweb-Plattform genügt Ihre ZIV-Benutzerkennung mit Passwort; der Einschreibeschlüssel zum Zugriff auf diesen Kurs wird in der ersten Vorlesung bekannt gegeben.

Ort und Zeit

Vorlesung + Übungen: Mo 8:15-10:00 Uhr, M3 und Do 8:15-10:00 Uhr, M3.
Beginn: Donnerstag, 20.4.2015, 8:15 Uhr, M3.

Vorlesungsinhalt

Ausgewählte Themen aus dem Gebiet der Formalen Methoden der Softwareentwicklung werden in der Vorlesung vorgestellt und in der Übung vertieft. Der mathematische Hintergrund der vorgestellten Methoden wird behandelt und ihre praktische Anwendung wird anhand prototypischer Beispiele diskutiert. Mögliche Themen sind u. a.: Petrinetze und ihre Analyse, Methoden zur formalen Spezifikation des funktionalen Verhaltens, Programmverifikation, Programmanalyse, Semantik von Programmiersprachen, automatisches Theorembeweisen.