ZurückEsc12509
Formal Development of Reactive Systems
Formale Entwicklung reaktiver Systeme
4 LPSoSe (gerade Jahre)DEwird nicht mehr angeboten
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.
Lernziele
Vermittlung der Methoden, Konzepte und Werkzeuge für die Softwareentwicklung für reaktive Systeme.
Prüfungsleistung
Beleg unbenotet Prüfungsgespräch benotet
Quelle: Modulbeschreibung der BTU · abgerufen 18.10.2026Original