This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ESPRESO-A System for Process Control Software Specification
July 1983 (vol. 9 no. 4)
pp. 427-436
J. Ludewig, Brown Boveri Research Center
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.
Index Terms:
software specification, Attribute grammar, language definition, process communication, process control software
Citation:
J. Ludewig, "ESPRESO-A System for Process Control Software Specification," IEEE Transactions on Software Engineering, vol. 9, no. 4, pp. 427-436, July 1983, doi:10.1109/TSE.1983.234779
Usage of this product signifies your acceptance of the Terms of Use.