ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software
- 1 January 1981
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing SystemsIEEE Transactions on Software Engineering, 1977
- Software EngineeringIEEE Transactions on Computers, 1976
- A technique for software module specification with examplesCommunications of the ACM, 1972