Software Engineering
- 18 March 1977
- journal article
- research article
- Published by American Association for the Advancement of Science (AAAS) in Science
- Vol. 195 (4283) , 1199-1205
- https://doi.org/10.1126/science.195.4283.1199
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Verifying properties of parallel programsCommunications of the ACM, 1976
- Proving monitorsCommunications of the ACM, 1976
- Modularization and hierarchy in a family of operating systemsCommunications of the ACM, 1976
- The Mythical Man-MonthPublished by Association for Computing Machinery (ACM) ,1975
- The new math of computer programmingCommunications of the ACM, 1975
- A technique for software module specification with examplesCommunications of the ACM, 1972
- Synchronization of communicating processesCommunications of the ACM, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- The structure of the “THE”-multiprogramming systemCommunications of the ACM, 1968
- Letters to the editor: go to statement considered harmfulCommunications of the ACM, 1968