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