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

• AI-SE Master 2010>Bereich 1 (Profilbereich) >Software Systems Engineering >Modul "Formale Methoden des Software Engineering"1st-3rd Semester, Elective
• LA Info GyGe Master 2014>Wahlpflichtbereich Informatik >Modul "Formale Methoden des Software Engineering"1st-3rd Semester, Elective
• Mathe Master 2013>Anwendungsfach "Informatik" >Profil "Software Systems Engineering" >Modul "Formale Methoden des Software Engineering"1st-3rd Semester, Elective
• SNE Master 2016>Wahlpflichtbereich >Modul "Formale Methoden des Software Engineering"1st-3rd Semester, Elective
• TechMathe Master 2013>Anwendungsfach "Informatik" >Profil "Software Systems Engineering" >Modul "Formale Methoden des Software Engineering"1st-3rd Semester, Elective
• WiInf Master 2010>Wahlpflichtbereich >Wahlpflichtbereich II: Informatik, BWL, VWL >Wahlpflichtmodule der Informatik >Modul "Formale Methoden des Software Engineering"1st-3rd Semester, Elective