Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-8181
Autor(en): | Eckert, Klaus Ludewig, Jochen |
Titel: | ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software |
Erscheinungsdatum: | 1981 |
Dokumentart: | Konferenzbeitrag |
Erschienen in: | 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 |
URI: | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-91814 http://elib.uni-stuttgart.de/handle/11682/8198 http://dx.doi.org/10.18419/opus-8181 |
Zusammenfassung: | 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. |
Enthalten in den Sammlungen: | 15 Fakultätsübergreifend / Sonstige Einrichtung |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
lud12.pdf | 1,8 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.