inf450 - Korrektheit von Graphprogrammen (Vollständige Modulbeschreibung)
Modulbezeichnung | Korrektheit von Graphprogrammen |
Modulkürzel | inf450 |
Kreditpunkte | 6.0 KP |
Workload | 180 h |
Einrichtungsverzeichnis | Department für Informatik |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
|
Teilnahmevoraussetzungen | - inf400 Theoretische Informatik I - inf401 Theoretische Informatik II |
Kompetenzziele | Modellierung von Systemen, Systemveränderungen und Systemeigenschaften. Einführung in Graphprogramme und Grapheigenschaften. Einführung in die Korrektheit von Systemen. Methoden zum Nachweis von Korrektheit von Systemen. Fachkompetenzen Die Studierenden:
Die Studierenden:
Die Studierenden:
Die Studierenden:
|
Modulinhalte | Die Veranstaltung führt in die Modellierung von Systemen, Systemveränderungen und Systemeigenschaften mit Hilfe von Graphen, Graphprogrammen und Graphbedingungen ein und stellt eine Methode zum Nachweis der Korrektheit von Systemen bzgl. einer Vor- und Nachbedingung vor. Die zugrundeliegenden Strukturen in der Veranstaltung sind Graphen; sie werden in praktisch allen Bereichen der Informatik benutzt, um komplexe Strukturen darzustellen. Graphprogramme sind mit Hilfe der Kernkonstrukte nichtdeterministische Anwendung einer Regel, sequentielle Komposition und Iteration aufgebaut und erlauben eine programmgesteuerte Veränderung der aktuellen Graphstruktur. Eine wohlbekannte Methode zur Bestimmung der Korrektheit von Programmen bezüglich einer Vor- und Nachbedingung basiert auf der Konstruktion einer schwächsten Vorbedingung des Programms bzgl. der Nachbedingung und dem Versuch zu entscheiden, ob die Vorbedingung die schwächste Vorbedingung impliziert. |
Literaturempfehlungen |
|
Links | |
Unterrichtssprache | Deutsch |
Dauer in Semestern | 1 Semester |
Angebotsrhythmus Modul | im 2-Jahres-Zyklus |
Aufnahmekapazität Modul | unbegrenzt |
Hinweise | Wird oft als Blockveranstaltung angeboten |
Lehr-/Lernform | 1VL + 1Ü |
Vorkenntnisse | - inf400 Theoretische Informatik I - inf401 Theoretische Informatik II |
Lehrveranstaltungsform | Kommentar | SWS | Angebotsrhythmus | Workload Präsenz |
---|---|---|---|---|
Vorlesung | 3 | WiSe | 42 | |
Übung | 1 | WiSe | 14 | |
Präsenzzeit Modul insgesamt | 56 h |
Prüfung | Prüfungszeiten | Prüfungsform |
---|---|---|
Gesamtmodul | Werden in der Veranstaltung bekannt gegeben |
Fachpraktische Übungen und mündliche Prüfung |