Computer-Aided Specification of Process Control Systems
- 1 May 1982
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 15 (5), 12-20
- https://doi.org/10.1109/mc.1982.1654020
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- ESPRESO—A System for Process Control Software SpecificationIEEE Transactions on Software Engineering, 1983
- ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-SoftwarePublished by Springer Nature ,1981
- Specifying software requirementsProceedings of the IEEE, 1980
- Specifying Software Requirements for Complex Systems: New Techniques and Their ApplicationIEEE Transactions on Software Engineering, 1980
- Programs, life cycles, and laws of software evolutionProceedings of the IEEE, 1980
- An approach to defining areas within the field of software engineeringACM SIGSOFT Software Engineering Notes, 1979
- An extended attribute grammar for PascalACM SIGPLAN Notices, 1979
- Software EngineeringIEEE Transactions on Computers, 1976
- Programming-in-the-Large Versus Programming-in-the-SmallIEEE Transactions on Software Engineering, 1976
- A technique for software module specification with examplesCommunications of the ACM, 1972