12509 - Formale Entwicklung reaktiver Systeme Modulübersicht
Modulnummer: | 12509 - Modul nicht mehr im Angebot ab WS 2008/9 |
Modultitel: | Formale Entwicklung reaktiver Systeme |
Formal Development of Reactive Systems | |
Einrichtung: | Fakultät 1 - Mathematik, Naturwissenschaften und Informatik |
Verantwortlich: |
|
Lehr- und Prüfungssprache: | Deutsch |
Dauer: | 1 Semester |
Angebotsturnus: | jedes Sommersemester gerader Jahre |
Leistungspunkte: | 4 |
Lernziele: | Vermittlung der Methoden, Konzepte und Werkzeuge für die Softwareentwicklung für reaktive Systeme. |
Inhalte: | Charakterisierung reaktiver, sicherheitskritischer Systeme; asynchrone/synchrone Modellierung; Programmiersprachen für reaktive Systeme; Modellierung der Umgebung; Realzeitmodelle; formale Spezifikations- und Validierungsverfahren; temporale Logiken und Semantiken. |
Empfohlene Voraussetzungen: | keine |
Zwingende Voraussetzungen: | keine |
Lehrformen und Arbeitsumfang: |
|
Unterrichtsmaterialien und Literaturhinweise: | - |
Modulprüfung: | Keine Angabe - Angabe ab Wintersemester 2016/17 erforderlich! |
Prüfungsleistung/en für Modulprüfung: | Beleg unbenotet Prüfungsgespräch benotet |
Bewertung der Modulprüfung: | Prüfungsleistung - benotet |
Teilnehmerbeschränkung: | keine |
Zuordnung zu Studiengängen: |
|
Bemerkungen: | keine |
Veranstaltungen zum Modul: | keine |
Veranstaltungen im aktuellen Semester: |
|