ESPRESO—A System for Process Control Software Specification
- 1 July 1983
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-9 (4), 427-436
- https://doi.org/10.1109/tse.1983.234779
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.Keywords
This publication has 11 references indexed in Scilit:
- An Operational Approach to Requirements Specification for Embedded SystemsIEEE Transactions on Software Engineering, 1982
- Programming in Modula-2Published by Springer Nature ,1982
- Specification of a specification languageAnnual Review in Automatic Programming, 1981
- ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-SoftwarePublished by Springer Nature ,1981
- Process control software specification in PCSLAnnual Review in Automatic Programming, 1980
- An extended attribute grammar for PascalACM SIGPLAN Notices, 1979
- A Requirements Engineering Methodology for Real-Time Processing RequirementsIEEE Transactions on Software Engineering, 1977
- PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing SystemsIEEE Transactions on Software Engineering, 1977
- The entity-relationship model—toward a unified view of dataACM Transactions on Database Systems, 1976
- Semantics of context-free languagesTheory of Computing Systems, 1968