Modul Entwicklung korrekter Software

Vorlesung  Methoden und Werkzeuge

apl. Prof. Dr. Lothar Schmitz

Termin der Vorlesung: Mo 10:30-12:00, 41/2417

Termin der Übung: Do 10:30-12:45, 41/2417

News

• Am 19.5. findet im Rahmen der Vorlesung der Gastvortrag von Dr. Walter Guttman über das Transformationsystem Ultra im EC 41/0501 statt.
• Ab sofort findet die Vorlesung nicht mehr im Hörsaal 33/0131,
  sondern im Institutsbesprechungsraum 41/2417 statt.
• Die Vorlesung beginnt am 4.4.2011 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 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. J. Barnes
   High Integrity Software - The SPARK Approach to Safety and Security
   Addison-Wesley 2003
3. D. Jackson
   Software Abstractions - Logic, Language, and Analysis
   MIT Press 2006