ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software
| dc.contributor.author | Eckert, Klaus | de |
| dc.contributor.author | Ludewig, Jochen | de |
| dc.date.accessioned | 2014-04-09 | de |
| dc.date.accessioned | 2016-03-31T11:45:26Z | |
| dc.date.available | 2014-04-09 | de |
| dc.date.available | 2016-03-31T11:45:26Z | |
| dc.date.issued | 1981 | de |
| dc.description.abstract | ESPRESO (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.identifier.other | 410247898 | de |
| dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-91814 | de |
| dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/8198 | |
| dc.identifier.uri | http://dx.doi.org/10.18419/opus-8181 | |
| dc.language.iso | de | de |
| dc.rights | info:eu-repo/semantics/openAccess | de |
| dc.subject.classification | Softwarespezifikation , Prozessdatenverarbeitung , PSL <Programmiersprache> | de |
| dc.subject.ddc | 620 | de |
| dc.title | ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software | de |
| dc.type | conferenceObject | de |
| ubs.fakultaet | Fakultätsübergreifend / Sonstige Einrichtung | de |
| ubs.institut | Sonstige Einrichtung | de |
| ubs.opusid | 9181 | de |
| ubs.publikation.source | Goos, 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-112 | de |
| ubs.publikation.typ | Konferenzbeitrag | de |