Vorlesung

Formale Methoden des Software Engineering

Name im Diploma SupplementFormal Methods in Software Engineering
Anbieter Lehrstuhl für Spezifikation von Softwaresystemen (http://www.s3.uni-due.de/)
LehrpersonProf. Dr. Michael Goedicke
SWS2Sprachedeutsch
TurnusWintersemestermaximale Hörerschaftunbeschränkt

empfohlenes Vorwissen

Grundlegende und vertiefte Kenntnisse in Programmierung und Software Engineering

Lehrinhalte

Es wird eine Übersicht über die Themen formale Spezifikation und Analyseverfahren von Softwaresystemen gegeben, die folgende Inhalte umfasst:

  1. Grundlagen der Sprachdefinition
  2. Logik als formale Sprache und Kalküle für Model Checking und automatisches Beweisen
  3. Systemmodellierung durch Transitionssysteme
  4. Konzepte und Algorithmen des Model Checking
  5. Bewertungskriterien für die Anwendung von automatischen Beweisverfahren in der Softwaretechnik

Literaturangaben

  • D. Peled: Software Reliability Methods; Springer, 2001
  • J. Magee, J. Kramer: Concurrency: State Models & Java Programs; Wiley, 1999
  • Chin-Liang Chang, Richard Char-Tung Lee: Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics); Academic Press, 1973

Hörerschaft

  • LA-Info-GyGe-Ma-2014 > Wahlpflichtbereich Informatik > (1.-3. Fachsemester, Wahlpflicht) Modul "Formale Methoden des Software Engineering"
  • Mathe-Ma-2013 > Anwendungsfach "Informatik" > Profil "Software Systems Engineering" > (1.-3. Fachsemester, Wahlpflicht) Modul "Formale Methoden des Software Engineering"
  • SNE-Ma-2016 > Wahlpflichtbereich > (1.-3. Fachsemester, Wahlpflicht) Modul "Formale Methoden des Software Engineering"
  • TechMathe-Ma-2013 > Anwendungsfach "Informatik" > Profil "Software Systems Engineering" > (1.-3. Fachsemester, Wahlpflicht) Modul "Formale Methoden des Software Engineering"
  • WiInf-Ma-2010 > Wahlpflichtbereich > Wahlpflichtbereich II: Informatik, BWL, VWL > Wahlpflichtmodule der Informatik > (1.-3. Fachsemester, Wahlpflicht) Modul "Formale Methoden des Software Engineering"
WIWI‑C0325 - Vorlesung: Formale Methoden des Software Engineering