MLU
INF.01111.04 - Spezifikationstechniken (Vollständige Modulbeschreibung)
Originalfassung Englisch
INF.01111.04 5 CP
Modulbezeichnung Spezifikationstechniken
Modulcode INF.01111.04
Semester der erstmaligen Durchführung
Fachbereich/Institut Institut für Informatik
Verwendet in Studiengängen / Semestern
  • Bioinformatik (MA120 LP) (Master) > Bioinformatik BioinformatikMA120, Akkreditierungsfassung (WS 2009/10 - SS 2016) > Softwaretechnik und Programmiersprachen
  • Bioinformatik (MA120 LP) (Master) > Bioinformatik BioinformatikMA120, Akkreditierungsfassung (WS 2016/17 - WS 2022/23) > Softwaretechnik und Übersetzerbau
  • Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Akkreditierungsfassung (WS 2006/07 - SS 2013) > Primärmodule
  • Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Akkreditierungsfassung (WS 2013/14 - SS 2016) > Vertiefende Module der Vertiefungsrichtung `Softwaretechnik und Übersetzerbau`
Modulverantwortliche/r
Weitere verantwortliche Personen
Prof. Dr. Wolf Zimmermann, Dr. Werner Gabrisch
Teilnahmevoraussetzungen
Kompetenzziele
Die TeilnehmerInnen sollen die Grundlagen formaler Spezifikation kennen lernen sowie deren Einsatz zur Validierung und Verifikation.
Modulinhalte
In Spezifikationstechniken werden den Studenten die Grundlagen der Prädikatenlogik zur statischen Beschreibung von Modellen vermittelt. Darauf aufbauend werden Zustandsübergangssysteme behandelt und eine Verknüpfung zwischen den beiden Arten der Modellierung hergestellt. Schwerpunkt ist die Vermittlung von verschiedenen abstrakten Beschreibungsformen und deren Zusammenhang. Es wird die Korrektheit der einzelnen Transformationen der Modelle nachgewiesen.
1. Wiederholung der Modellierung, Gleichungskalkül
2. Spezifikationen und deren Semantik
3. Erweiterung von Spezifikationen
4. Parametrisierung von Spezifikationen
5. Modelle und deren Verfeinerung
6. Simulation und Transformation
7. Abstrakte Zustandsmaschinen
8. Temporale Logik
Lehrveranstaltungsformen Kursus (3 SWS)
Kursus (2 SWS)
Kursus
Kursus
Unterrichtsprachen Deutsch, Englisch
Dauer in Semestern 1 Semester Semester
Angebotsrhythmus Modul beginnend im Sommersemester im Wechsel mit
Aufnahmekapazität Modul unbegrenzt
Prüfungsebene
Credit-Points 5 CP
Modulabschlussnote LV 1: %; LV 2: %; LV 3: %; LV 4: %.
Faktor der Modulnote für die Endnote des Studiengangs 1
Hinweise
Vertiefendes Modul der Vertiefungsrichtung "Softwaretechnik und Übersetzerbau"
Modulveran­staltung Lehrveranstaltungs­form Veranstaltungs­titel SWS Workload Präsenz Workload Vor- / Nach­bereitung Workload selbstge­staltete Arbeit Workload Prüfung incl. Vorbereitung Workload Summe
LV 1 Kursus Vorlesung 3 0
LV 2 Kursus Übung 2 0
LV 3 Kursus Bearbeitung der Übungsaufgaben/Selbststudium 0
LV 4 Kursus Vorbereitung Prüfung 0
Workload modulbezogen 150 150
Workload Modul insgesamt 150
Prüfung Prüfungsvorleistung Prüfungsform
LV 1
LV 2
LV 3
LV 4
Gesamtmodul
Regelmäßige Teilnahme an den Übungen, Erfolgreiches Lösen von Übungsaufgaben, Die Lösungen zu Übungsaufgaben erklären können
mündl./schriftl./elektron. Prüfung
Wiederholungsprüfung
Regularien Teilnahme­voraussetzungen Angebots­rhythmus Anwesenheits­pflicht Gewicht an Modulnote in %
LV 1 Sommersemester Nein %
LV 2 Sommersemester Nein %
LV 3 Sommersemester Nein %
LV 4 Sommersemester Nein %