Software Reliability
- 1 January 1971
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 4 (1), 21-27
- https://doi.org/10.1109/c-m.1971.216741
Abstract
During the last decade there have appeared in the literature many contributions on the reliability aspects of computer hardware, but relatively few on software. We see this balance changing as software is now becoming the most expensive and complex item in a computer installation. This situation is intensifying as applications become more sophisticated, as larger teams are required to produce the software, and as software mistakes that enter operational systems become more costly. We believe that this condition will be remedied when tools as powerful as those available for ensuring the reliability of hardware become available for software.Keywords
This publication has 17 references indexed in Scilit:
- Towards automatic program synthesisPublished by Springer Nature ,1971
- Certification of algorithm 245 [M1]:treesort 3:proof of algorithms—a new kind of certificationCommunications of the ACM, 1970
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Programming by action clustersBIT Numerical Mathematics, 1969
- Properties of Programs and the First-Order Predicate CalculusJournal of the ACM, 1969
- A constructive approach to the problem of program correctnessBIT Numerical Mathematics, 1968
- Letters to the editor: The go to statement reconsideredCommunications of the ACM, 1968
- Letters to the editor: go to statement considered harmfulCommunications of the ACM, 1968
- Discussion and Correspondence: Some comments on SystematicsThe Computer Journal, 1967
- Proof of algorithms by general snapshotsBIT Numerical Mathematics, 1966