Please use this identifier to cite or link to this item: http://dx.doi.org/10.18419/opus-8235
Authors: Ludewig, Jochen
Title: ESPRESO : a system for process control software specification
Issue Date: 1983
metadata.ubs.publikation.typ: Zeitschriftenartikel
metadata.ubs.publikation.source: IEEE transactions on software engineering 9 (1983), S. 427-436. URL http://dx.doi.org./ 10.1109/TSE.1983.234779
URI: http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-93519
http://elib.uni-stuttgart.de/handle/11682/8252
http://dx.doi.org/10.18419/opus-8235
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.
Appears in Collections:15 Fakultätsübergreifend / Sonstige Einrichtung

Files in This Item:
File Description SizeFormat 
lud19.pdf2,52 MBAdobe PDFView/Open


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