Reliable software: A selective annotated bibliography

Abstract

A total of 64 references to papers, books and conference proceedings on the subject of software reliability have been selected. Each of these references is provided with an annotation consisting of a paragraph of commentary. Sections of the bibliography are devoted to requirements definition, programming methodology, certification, fault‐tolerance and reliability modelling. Copyright © 1978 John Wiley & Sons, Ltd