Eckert, KlausLudewig, Jochen2014-04-092016-03-312014-04-092016-03-311981410247898http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-91814http://elib.uni-stuttgart.de/handle/11682/8198http://dx.doi.org/10.18419/opus-8181ESPRESO (System zur Darstellung der Sezifikation 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.deinfo:eu-repo/semantics/openAccessSoftwarespezifikation , Prozessdatenverarbeitung , PSL <Programmiersprache>620conferenceObject