ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software

ESPRESO (System zur Erstellung der Spezifikation von Prozesrechner-Software) ist ein rechnerunterstutztes Spezifikationssystem, das spezielle Anforderungen der Spezifikation von Prozesrechner-Software berucksichtigt. Die Komponenten von ESPRESO sind eine formale Sprache ESPRESO-S und ein Programmsystem ESPRESO-W. Im vorliegenden Beitrag werden die wesentlichen Aspekte von ESPRESO-S kurz zusammengefast. Danach werden Konzeption und Aufbau von ESPRESO-W und Probleme seiner Implementierung ausfuhrlich dargestellt.