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 Master 2014>Wahlpflichtbereich Informatik >Modul "Formale Methoden des Software Engineering"1.-3. Fachsemester, Pflicht
  • Mathe Master 2013>Anwendungsfach "Informatik" >Profil "Software Systems Engineering" >Modul "Formale Methoden des Software Engineering"1.-3. Fachsemester, Pflicht
  • SNE Master 2016>Wahlpflichtbereich >Modul "Formale Methoden des Software Engineering"1.-3. Fachsemester, Pflicht
  • TechMathe Master 2013>Anwendungsfach "Informatik" >Profil "Software Systems Engineering" >Modul "Formale Methoden des Software Engineering"1.-3. Fachsemester, Pflicht
  • WiInf Master 2010>Wahlpflichtbereich >Wahlpflichtbereich II: Informatik, BWL, VWL >Wahlpflichtmodule der Informatik >Modul "Formale Methoden des Software Engineering"1.-3. Fachsemester, Pflicht
WIWI‑C0325 - Vorlesung: Formale Methoden des Software Engineering