INF.01111.04 | 5 CP |
---|---|
Module label | Spezifikationstechniken |
Module code | INF.01111.04 |
Semester of first implementation | |
Faculty/Institute | Institut für Informatik |
Module used in courses of study / semesters |
|
Responsible person for this module | |
Further responsible persons |
Prof. Dr. Wolf Zimmermann, Dr. Werner Gabrisch |
Prerequisites | |
Skills to be acquired in this module | Die TeilnehmerInnen sollen die Grundlagen formaler Spezifikation kennen lernen sowie deren Einsatz zur Validierung und Verifikation. |
Module contents | 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 |
Forms of instruction |
Course (3 SWS)
Course (2 SWS) Course Course |
Languages of instruction | German, English |
Duration (semesters) | 1 Semester Semester |
Module frequency | beginnend im Sommersemester im Wechsel mit |
Module capacity | unlimited |
Time of examination | |
Credit points | 5 CP |
Share on module final degree | Course 1: %; Course 2: %; Course 3: %; Course 4: %. |
Share of module grade on the course of study's final grade | 1 |
Reference text | Vertiefendes Modul der Vertiefungsrichtung "Softwaretechnik und Übersetzerbau" |
Module course label | Course type | Course title | SWS | Workload of compulsory attendance | Workload of preparation / homework etc | Workload of independent learning | Workload (examination and preparation) | Sum workload |
---|---|---|---|---|---|---|---|---|
Course 1 | Course | Vorlesung | 3 | 0 | ||||
Course 2 | Course | Übung | 2 | 0 | ||||
Course 3 | Course | Bearbeitung der Übungsaufgaben/Selbststudium | 0 | |||||
Course 4 | Course | Vorbereitung Prüfung | 0 | |||||
Workload by module | 150 | 150 | ||||||
Total module workload | 150 |
Examination | Exam prerequisites | Type of examination | |
---|---|---|---|
Course 1 | |||
Course 2 | |||
Course 3 | |||
Course 4 | |||
Final exam of module | 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 |
|
Exam repetition information |
Prerequisites and conditions | Prerequisites | Frequency | Compulsory attendance | Share on module grade in percent |
---|---|---|---|---|
Course 1 | Summer semester | No | % | |
Course 2 | Summer semester | No | % | |
Course 3 | Summer semester | No | % | |
Course 4 | Summer semester | No | % |