Vorlesung: Formale Methoden im Software Engineering - Details

Allgemeine Informationen

Veranstaltungsname	Vorlesung: Formale Methoden im Software Engineering
Veranstaltungsnummer	INF-0130, INF-0229
Semester	SS 2025
Aktuelle Anzahl der Teilnehmenden	8
erwartete Teilnehmendenanzahl	30
Heimat-Einrichtung	Softwaretechnik
Veranstaltungstyp	Vorlesung in der Kategorie Lehre
Nächster Termin	Mittwoch, 23.04.2025 15:45 - 17:15, Ort: (1055N)
Art/Form	Vorlesung mit integriertem Praktikum
Voraussetzungen	Interesse an Logik und formalen Methoden, Bachelorveranstaltung Logik für Informatiker ist hilfreich
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Ja
Hauptunterrichtssprache	deutsch
Literaturhinweise	Es besteht eigentlich keine Notwendigkeit, zusätzliche Literatur heranzuziehen. Wer sich dennoch etwas schlauer machen will, kann folgende Bücher lesen: - V. Sperschneider and G. Antoniou, Logic: A Foundation for Computer Science, Addison Wesley, 1991 - J. Loeckx and H.D. Ehrich and M. Wolf, Specification of Abstract Data Types, Wiley-Teubner, 1996
ECTS-Punkte	8

Lehrende

• Prof.Dr. Wolfgang Reif
• Dr. Gerhard Schellhorn

Räume und Zeiten

(1055N)

Mittwoch: 15:45 - 17:15, wöchentlich (14x)

Studienbereiche

• Fakultät für Angewandte Informatik > Informatik

Modulzuordnungen

• Informatik M.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Wahlbereich Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 16. Version gültig ab WS 2024/25 > Modulgruppe C: Minor Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Medizinische Informatik M.Sc. Medizinische Informatik, 7. Version gültig ab WS 2024/25 > Wahlbereich > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Informatik M.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Informatik M.Sc. Informatik, PO 2011, 18. Version gültig ab WS 2023/24 > M.Sc. Informatik (PO '11), Teilbereich Informatik - Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Informatik M.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Praktische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Informatik M.Sc. Informatik, PO 2017, 13. Version gültig ab SS 2023 > M.Sc. Informatik (PO '17), Teilbereich Informatik - Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Medizinische Informatik M.Sc. Medizinische Informatik, 7. Version gültig ab WS 2024/25 > Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 17. Version gültig ab SS 2025 > Modulgruppe D: Major Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Informatik M.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Praktische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Medizinische Informatik M.Sc. Medizinische Informatik, 8. Version gültig ab SS 2025 > Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 14. Version gültig ab SS 2025 > Praktische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 13. Version gültig ab WS 2024/25 > Praktische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Informatik M.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Informatik M.Sc. Informatik, PO 2017, 13. Version gültig ab SS 2023 > M.Sc. Informatik (PO '17), Teilbereich Informatik - Softwaretechnik und Programmiersprachen > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 19. Version gültig ab WS 2024/25 > Modulgruppe E: Wahlbereich [MastWiMa] > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Mathematik Masterstudiengang Mathematik PO 2013, 19. Version gültig ab WS 2024/25 > Master Mathematik E-I: Nebenfach Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 20. Version gültig ab SS 2025 > Modulgruppe E: Wahlbereich [MastWiMa] > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2017, 13. Version gültig ab SS 2023 > M.Sc. Informatik und Multimedia (PO '17), Teilbereich Informatik - Softwaretechnik und Programmiersprachen > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2017, 13. Version gültig ab SS 2023 > M.Sc. Informatik und Multimedia (PO '17), Teilbereich Informatik - Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 19. Version gültig ab WS 2024/25 > Modulgruppe D: Informatik [MastWiMa] > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 13. Version gültig ab WS 2024/25 > Wahlbereich Informatik und Multimedia > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 17. Version gültig ab SS 2025 > Modulgruppe C: Minor Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 13. Version gültig ab WS 2024/25 > Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Medizinische Informatik M.Sc. Medizinische Informatik, 8. Version gültig ab SS 2025 > Wahlbereich > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 16. Version gültig ab WS 2024/25 > Modulgruppe D: Major Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Informatik M.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Wahlbereich Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 20. Version gültig ab SS 2025 > Modulgruppe D: Informatik [MastWiMa] > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Informatik M.Sc. Informatik, PO 2011, 18. Version gültig ab WS 2023/24 > M.Sc. Informatik (PO '11), Teilbereich Informatik - Softwaretechnik und Programmiersprachen. > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 14. Version gültig ab SS 2025 > Wahlbereich Informatik und Multimedia > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 14. Version gültig ab SS 2025 > Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Mathematik Masterstudiengang Mathematik PO 2013, 20. Version gültig ab SS 2025 > Master Mathematik E-I: Nebenfach Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Vorlesung)
• Geoinformatik Master Geoinformatik, 4. Version gültig ab WS 2022/23 > MScGI_Module > INF-0229 (=MScGI_SE) - Software Engineering (für M.Sc. Geoinformatik) > Vorlesung mit Übung aus dem Bereich Software Engineering

Kommentar/Beschreibung

Die Verwendung formaler Methoden bei der Entwicklung korrekter Software steht an der Schwelle der kommerziellen Nutzung. Das KIV-System ist ein Werkzeug, das die formale Spezifikation, Verifikation und Synthese von Programmen ermöglicht. Es wird seit mehreren Jahren entwickelt und inzwischen in industriellen Studien erprobt. Übergeordnetes Ziel ist die Produktion beweisbar korrekter Software.

Die Lehrveranstaltung vermittelt den ''state of the Art'' des Einsatzes formaler Methoden bei der Softwareentwicklung. Es werden Spezifikationstechniken zur Beschreibung und Methoden zum Nachweis der Korrektheit von Softwaresystemen behandelt. Die Lehrveranstaltung beginnt mit der (algebraischen) Spezifikation von Datentypen und stellt dann Kalküle und Vorgehensweisen für die Verifikation sequentieller und paralleler Programme vor. Weiterhin wird Refinement als systematisches Entwicklungsvorgehen von einer abstrakten Spezifikation zu einer korrekten Implementierung vorgestellt.

Die Rechner im Raum 3017N stehen auch außerhalb der Praktikumszeiten zur Verfügung. Notfalls bei uns nach einem Schlüssel fragen, falls der Raum abgesperrt ist.