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

Klaus Eckert,Jochen Ludewig
DOI: https://doi.org/10.1007/978-3-642-68064-9_6
1981-01-01
Abstract:ESPRESO (System zur Erstellung der Spezifikation von Prozeßrechner-Software) ist ein rechnerunterstütztes Spezifikationssystem, das spezielle Anforderungen der Spezifikation von Prozeßrechner-Software berücksichtigt. 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 zusammengefaßt. Danach werden Konzeption und Aufbau von ESPRESO-W und Probleme seiner Implementierung ausführlich dargestellt.
What problem does this paper attempt to address?