Please use this identifier to cite or link to this item: http://dx.doi.org/10.18419/opus-8181
Full metadata record
DC FieldValueLanguage
dc.contributor.authorEckert, Klausde
dc.contributor.authorLudewig, Jochende
dc.date.accessioned2014-04-09de
dc.date.accessioned2016-03-31T11:45:26Z-
dc.date.available2014-04-09de
dc.date.available2016-03-31T11:45:26Z-
dc.date.issued1981de
dc.identifier.other410247898de
dc.identifier.urihttp://nbn-resolving.de/urn:nbn:de:bsz:93-opus-91814de
dc.identifier.urihttp://elib.uni-stuttgart.de/handle/11682/8198-
dc.identifier.urihttp://dx.doi.org/10.18419/opus-8181-
dc.description.abstractESPRESO (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.de
dc.language.isodede
dc.rightsinfo:eu-repo/semantics/openAccessde
dc.subject.classificationSoftwarespezifikation , Prozessdatenverarbeitung , PSL <Programmiersprache>de
dc.subject.ddc620de
dc.titleESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Softwarede
dc.typeconferenceObjectde
ubs.fakultaetFakultätsübergreifend / Sonstige Einrichtungde
ubs.institutSonstige Einrichtungde
ubs.opusid9181de
ubs.publikation.sourceGoos, Gerhard (Hrsg.): Werkzeuge der Programmiertechnik : GI-Arbeitstagung Karlsruhe, 16.-17. März 1981. Berlin : Springer, 1981 (Informatik-Fachberichte 43). - ISBN 3-540-10725-8, S. 101-112de
ubs.publikation.typKonferenzbeitragde
Appears in Collections:15 Fakultätsübergreifend / Sonstige Einrichtung

Files in This Item:
File Description SizeFormat 
lud12.pdf1,8 MBAdobe PDFView/Open


Items in OPUS are protected by copyright, with all rights reserved, unless otherwise indicated.