Prüfung
BTU-Vorlesungsverzeichnis ↗- Freitag12 Mär 202711:00 bis 13:00
← Zurück zur Übersicht
13877Fakultät 1 – MINT – Mathematik, Informatik, Physik, Elektro- und Informationstechnik
Formale Methoden für die Softwaretechnik
Titel auf Englisch: Formal Methods for Software Engineering
Lernergebnisse
Nach erfolgreichem Abschluss des Moduls haben die Studierenden Überblickswissen über formale Methoden in der Softwaretechnik. Sie sind mit entsprechender Werkzeugunterstützung vertraut. Sie kennen wesentliche Anwendungsszenarien im Bereich der Qualitätssicherung in der Softwaretechnik . Sie sind in der Lage, selbständig Fachwissen auf dem Gebiet der formalen Methoden für die Softwaretechnik zu erarbeiten und zu präsentieren.
Inhalte
Es gibt zahlreiche formale Methoden zur Modellierung, Analyse und Transformation verschiedener Arten von Software-Artefakten (z.B. Anforderungsspezifikationen, Software-Designs, Laufzeitmodelle, Code, etc.). Der Einsatz formaler Methoden unterstützt die Einführung von mehr Genauigkeit und tieferem Verständnis dieser Software-Artefakte mit dem übergeordneten Ziel der Konstruktion qualitativ hochwertigerer Software-Systeme. Einige der formalen Methoden konzentrieren sich auf zustandsbasiertes Verhalten (z. B. Automaten, Zustandsdiagramme oder Zustandsübergangssysteme), andere Methoden konzentrieren sich eher auf die Struktur (z. B. relationale Logik), oder auf die Kombination von beidem (z.B. Graphentransformation), was es erlaubt das Zusammenspiel von Struktur und Verhalten zu untersuchen. Diese Vorlesung gibt einen Überblick über formale Methoden für die Softwaretechnik und die dazugehörige Werkzeugunterstützung. Die Anwendungsszenarien befassen sich mit verschiedenen Qualitätsaspekten eines Softwaresystems wie Safety, Security, Performance, Traceability, Adaptivität, etc. Ethische und gesellschaftliche Aspekte in Verbindung mit dem Einsatz von formalen Methoden in der Softwaretechnik werden thematisiert.
Voraussetzungen
Verpflichtende Voraussetzungen
Keine
Empfohlene Voraussetzungen
- Grundlagen der Softwaretechnik
- Grundlagen der Mathematik (Logik, Algebra)
- Grundlagen der theoretischen Informatik (Berechenbarkeitstheorie und formale Sprachen)
- 12104 Entwicklung von Softwaresystemen
- 11787 Theoretische Informatik
- 11112 Mathematik IT-1 (Diskrete Mathematik)
Prüfungsmodalitäten
- Erfolgreiche Bearbeitung und Präsentation von Übungsaufgaben (60 Stunden) sowie erfolgreiche Ausarbeitung und 30-minütiger Präsentation eines ausgewählten Seminarthemas (40 Stunden)
- Klausur, 90 min. ODER
- Mündliche Prüfung, 30-45 min. (bei geringer Teilnehmerzahl)
Termine im WiSe 26/27
Die einzigen Termine im WiSe 26/27 sind Prüfungstermine – gelehrt wird das Modul in diesem Semester nicht.
Angeboten in
- InformatikM.Sc.
Wahlpflichtkomplex: Grundlagen der Informatik
| Studiengang | Abschluss | Wahlpflichtkomplex |
|---|---|---|
| Informatik | M.Sc. | Grundlagen der Informatik |
Literatur und Materialien
- Principles of Model Checking, Christel Baier and Joost-Pieter Katoen, MIT Press 2008
- Software Abstractions - Logic, Language, and Analysis, Daniel Jackson, MIT Press 2006
- Graph Transformation for Software Engineers, Reiko Heckel and Gabriele Taentzer, Springer, 2020
Bewertungen von Studierenden
Was Studierende über dieses Modul sagen. Die BTU hat damit nichts zu tun — hier schreiben nur Studierende, und jede Bewertung ist die Meinung einer einzelnen Person.