Entwicklung korrekter Software

apl. Prof. Dr. Lothar Schmitz

Termin der Vorlesung:  Mo 10:30-12:00, 33/2111

Termin der Übung:        Do 08:00-10:15, 33/0301

News

• Die mündlichen Prüfungen finden am 28.6. und am 1.7. statt.
• Die Vorlesung und die Übung finden ab sofort im EC der Fakultät statt.
• Die Vorlesung beginnt am 12.4.2010 um 10:30.
• Die Teilnahme an den Übungen ist Voraussetzung für die Prüfungen.
  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