Options
1997
Conference Paper
Titel
Spezifikation eingebetteter Steuerungssysteme mit Z und Statecharts
Abstract
Wir beschreiben eine Technik zur Spezifikation eingebetteter Steuerungssysteme mit Z und Statecharts. Anhand der Spezifikation einer Lichtsignalanlagensteuerung werden die Grundkonzepte dieser integrierten Spezifikationstechnik erläutert. Eine Werkzeugumgebung zur Eingabe und Analyse von Spezifikationen wird vorgestellt.