Languages for representing software specifications and designs
- 1 October 1978
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 3 (4) , 7-11
- https://doi.org/10.1145/1010741.1010742
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- A language for formal problem specificationCommunications of the ACM, 1977
- An introduction to the DREAM software design systemACM SIGSOFT Software Engineering Notes, 1977
- The Software Development SystemIEEE Transactions on Software Engineering, 1977
- Finite state modelling in program developmentPublished by Association for Computing Machinery (ACM) ,1975
- A technique for software module specification with examplesCommunications of the ACM, 1972