Modul Entwicklung korrekter Software

Vorlesung Methoden und Werkzeuge (11339 und 11340)

Statt im Geb. 33 findet die Veranstaltung regelmäßig im Raum 41/2417 statt.
Die Vorlesung beginnt am Montag, den 2.4.2012, um 10:30.
Am Gründonnerstag, den 5.4.2012, findet die Vorlesung ausnahmsweise im Raum 41/1407 statt.
Die Montagstermine beginnen ab sofort um 09:45 Uhr.
Die Donnertagstermine beginnen ab sofort um 09:45 Uhr.
Am Dienstag, den 15.5., findet ab 15:00 Uhr der vom 30.4. verschobene Termin statt.
Die Vorlesung vom Montag, den 21.5., wird auf Dienstag, den 22.5.,
(wie gehabt Raum 41/2417, 09:45 Uhr) verschoben.
Die Vorlesung vom Montag, den 18.6., wird auf einen noch bekannt zu gebenden Zeitpunkt verschoben.
Am Donnerstag, den 21.6., erzählt uns Dr. Dominik Haneberg von der Universität Augsburg in einem Gastvortrag etwas über den Theorem Prover KIV und über seine Fallstudie zur elektronischen Geldbörse Mondex.
Die Teilnahme an den Übungen ist Voraussetzung für den Scheinerwerb.
Details dazu werden in der Vorlesung und der Übung der ersten Woche
bekanntgegeben, wo auch die Anmeldung erfolgt.

Das Vorlesungsskript sowie die Übungsunterlagen finden Sie im Dokumentenbereich zur Veranstaltung.

Literatur

J. Fitzgerald & P. Gorm Larsen
Modelling Systems: Practical Tools and Techniques in Software Development
Cambridge University Press 2009
D. Jackson
Software Abstractions - Logic, Language, and Analysis
MIT Press 2006
M. Kaufmann & P. Manolios & J. S. Moore
Computer-Aided Reasoning: An Approach
Kluwer Academic Press 2000