Modul Entwicklung korrekter Software

Vorlesung  Methoden und Werkzeuge  (11339 und 11340)

apl. Prof. Dr. Lothar Schmitz

Termin der Vorlesung: Mo 9:45-12:00, 41/2417

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

News

• Die Vorlesung beginnt am 3.4.2014 um 10:30 Uhr.
• Zwei Sondertermine sind Samstag, der 5.4.2014, um 13:15 Uhr und Mittwoch, der 9.4.2014, um 10:30 Uhr.

• Die Teilnahme an den Übungen ist Voraussetzung für den Scheinerwerb.
  Details dazu werden beim ersten Termin bekanntgegeben.

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