ESPRESO : a system for process control software specification

Ludewig, Jochen

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

Langanzeige der Metadaten

DC Element	Wert	Sprache
dc.contributor.author	Ludewig, Jochen	de
dc.date.accessioned	2014-07-07	de
dc.date.accessioned	2016-03-31T11:45:34Z	-
dc.date.available	2014-07-07	de
dc.date.available	2016-03-31T11:45:34Z	-
dc.date.issued	1983	de
dc.identifier.other	409934127	de
dc.identifier.uri	http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-93519	de
dc.identifier.uri	http://elib.uni-stuttgart.de/handle/11682/8252	-
dc.identifier.uri	http://dx.doi.org/10.18419/opus-8235	-
dc.description.abstract	This paper outlines a specification system for process control software, named ESPRESO, which was developed at the Nuclear Research Center, Karlsruhe, West Germany. ESPRESO is based on some new ideas, which are combined with elements taken from other systems. ESPRESO consists of a set of concepts, a specification language, a tool for the management, evaluation and validation of specifications, and the method how to use the system. Language, tool, and method are carefully adapted to the concepts. The primary aim was to demonstrate some features of a specification system which are currently not available, rather than to provide a new tool for the software market.	en
dc.language.iso	en	de
dc.rights	info:eu-repo/semantics/openAccess	de
dc.subject.classification	Softwarespezifikation , Prozessdatenverarbeitung	de
dc.subject.ddc	004	de
dc.title	ESPRESO : a system for process control software specification	en
dc.type	article	de
ubs.fakultaet	Fakultätsübergreifend / Sonstige Einrichtung	de
ubs.institut	Sonstige Einrichtung	de
ubs.opusid	9351	de
ubs.publikation.source	IEEE transactions on software engineering 9 (1983), S. 427-436. URL http://dx.doi.org./ 10.1109/TSE.1983.234779	de
ubs.publikation.typ	Zeitschriftenartikel	de
Enthalten in den Sammlungen:	15 Fakultätsübergreifend / Sonstige Einrichtung

Dateien zu dieser Ressource:

Datei	Beschreibung	Größe	Format
lud19.pdf		2,52 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