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 |
|
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" |
Modulveranstaltung | Lehrveranstaltungsform | Veranstaltungstitel | SWS | Workload Präsenz | Workload Vor- / Nachbereitung | Workload selbstgestaltete 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 | Teilnahmevoraussetzungen | Angebotsrhythmus | Anwesenheitspflicht | Gewicht an Modulnote in % |
---|---|---|---|---|
LV 1 | Sommersemester | Nein | % | |
LV 2 | Sommersemester | Nein | % | |
LV 3 | Sommersemester | Nein | % | |
LV 4 | Sommersemester | Nein | % |