Informations about the modules

zurück

Module (6 Credits)

Formale Methoden des Software Engineering

Name in diploma supplement
Formal Methods in Software Engineering
Responsible
Admission criteria
See exam regulations.
Workload
180 hours of student workload, in detail:
  • Attendance: 45 hours
  • Preparation, follow up: 100 hours
  • Exam preparation: 35 hours
Duration
The module takes 1 semester(s).
Qualification Targets

Die Studierenden

  • beherrschen die Grundbegriffe der syntaxbasierten Semantikdefinition für formale (Spezifikations-)Sprachen sowie die zugehörigen Methoden
  • besitzen fundierte Kenntnisse zur formalen, logikbasierten Spezifikation von Softwaresystemen sowie zu den Möglichkeiten und Grenzen der Analyse solcher formaler logikbasierter Spezifikationen
  • können natürlichsprachliche Aussagen als logische Aussagen formulieren und diese auswerten sowie formale Beweise aufstellen
  • beherrschen Verfahren zur Beschreibung und Modellierung von parallelen sowie unendlich laufenden Transitionssystemen und können Softwaresysteme zustandsbasiert zu modellieren
  • können den gesamten Prozess von der formalen Spezifikation der Anforderungen über die geeignete Modellierung eines Systems bis hin zur Verifikation des Models erläutern und in jedem Schritt geeignete Verfahren anwenden
  • können die Konzepte der automatischen Verifikation erläutern, die zugehörigen Algorithmen skizzieren, erläutern und anwenden
  • kennen grundsätzliche Grenzen der automatischen Verifikation und können Systeme benennen, die nicht automatisch verifiziert werden können bzw. Maßnahmen benennen, die eine automatische Verifikation ermöglichen
Module Exam

Zum Modul erfolgt eine modulbezogene Prüfung in der Gestalt einer mündlichen Prüfung (in der Regel: 20-40 Minuten).

Usage in different degree programs
  • LA-Info-GyGe-Ma-2014Wahlpflichtbereich Informatik 1.-3. Sem, Elective
  • Mathe-Ma-2013Anwendungsfach "Informatik"Profil "Software Systems Engineering"1.-3. Sem, Elective
  • SNE-Ma-2016Wahlpflichtbereich1.-3. Sem, Elective
  • TechMathe-Ma-2013Anwendungsfach "Informatik"Profil "Software Systems Engineering"1.-3. Sem, Elective
  • WiInf-Ma-2010WahlpflichtbereichWahlpflichtbereich II: Informatik, BWL, VWLWahlpflichtmodule der Informatik1.-3. Sem, Elective
Elements
Name in diploma supplement
Formal Methods in Software Engineering
Organisational Unit
Lecturers
SPW
2
Language
German
Cycle
winter semester
Participants at most
no limit
Preliminary knowledge

Grundlegende und vertiefte Kenntnisse in Programmierung und Software Engineering

Contents

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
Literature
  • 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
Participants
Lecture: Formale Methoden des Software Engineering (WIWI‑C0325)
Name in diploma supplement
Formal Methods in Software Engineering
Organisational Unit
Lecturers
SPW
2
Language
German
Cycle
winter semester
Participants at most
no limit
Preliminary knowledge

siehe Vorlesung

Contents

Vertiefende Aufgaben und Beispiele zum Stoff der Vorlesung.

Literature

Siehe Literaturangaben der Vorlesung.

Participants
Exercise: Formale Methoden des Software Engineering (WIWI‑C0324)
Module: Formale Methoden des Software Engineering (WIWI‑M0262)