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

Eckert, Klaus; Ludewig, Jochen

Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.18419/opus-8181

Langanzeige der Metadaten

DC Element	Wert	Sprache
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.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.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.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
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

Zur Kurzanzeige

Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.

Universität Stuttgart

OPUS - Online Publikationen der Universität Stuttgart