Software Reliability Handbook
Paul Rook · Elsevier eBooks · 1990
Software reliability issues Software design for reliability Formal methods for reliability Software fault tolerance Defect detection and correction Software project control and management Procuring and maintaining reliable software Software Quality Management Measuring software development Cost modelling and estimation Software engineering environments. Appendices: Software reliability growth models Software development process models Software development metrics and models Software development cost models.