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:
  • Prof. Dr. rer. nat. Lewerentz, Claus
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:
  • Vorlesung / 2 SWS
  • Übung / 2 SWS
  • Selbststudium / 60 Stunden
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:
  • keine Zuordnung vorhanden
Bemerkungen:keine
Veranstaltungen zum Modul:keine
Veranstaltungen im aktuellen Semester:
  • keine Zuordnung vorhanden