Modul Entwicklung korrekter Software

Vorlesung  Methoden und Werkzeuge (11339 und 11340)

apl. Prof. Dr. Lothar Schmitz


Termin der Vorlesung:  Mo 09:45-11:15, 41/2417

Termin der Übung:        Do 09:45-12:00, 41/2417


News

  • 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.

Vorlesungs- und Übungsunterlagen

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

Literatur

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