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
- Elements
Lecture (3 Credits)
Formale Methoden des Software Engineering
- 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:
- Grundlagen der Sprachdefinition
- Logik als formale Sprache und Kalküle für Model Checking und automatisches Beweisen
- Systemmodellierung durch Transitionssysteme
- Konzepte und Algorithmen des Model Checking
- 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
Exercise (3 Credits)
Formale Methoden des Software Engineering
- 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