Modul Entwicklung korrekter Software
Vorlesung Methoden und Werkzeuge (11339 und 11340)
apl. Prof. Dr. Lothar Schmitz
Termin der Vorlesung: Mo 10:30-12:00, EC 41/0501
Termin der Übung: Do 10:30-12:45, EC 41/0501
News
- Die Vorlesung vom 27.6.2013 wird verlegt auf den 28.6.2013 und findet dann ab 10:00 Uhr im Raum 41/0324 statt.
- Die Vorlesung vom 17.6.2013 wird vorverlegt auf den Nachmittag des 10.6.2013 und findet dann ab 14:00 Uhr im Raum 41/0401 statt.
- Die Vorlesung vom 27.5.2013 wird verschoben auf den Nachmittag des 3.6.2013 und findet dann ab 14:00 Uhr im Fakultätsraum 41/0401 statt.
- Die Vorlesung am 16.5.2013 übernimmt Frau PDin Elbl, um die Systeme piVC und Dafny vorzustellen.
- Die Vorlesung findet nicht in den im Stundenplan genannten Räumen, sondern im EC 41/0501 statt.
- Die Vorlesung beginnt am 8.4.2013 um 10:30.
- 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 endgültige Anmeldung erfolgt.
Vorlesungs- und Übungsunterlagen
- 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 - J. Barnes
High Integrity Software - The SPARK Approach to Safety and Security
Addison-Wesley 2003 - 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