Software Reliability: Principles and Practices 论文
1976CERN Document Server (European Organization for Nuclear Research)引用 279
Software Reliability and Analysis ResearchSoftware Engineering ResearchSoftware Testing and Debugging Techniques
摘要
Deals constructively with recognized software problems. Focuses on the unreliability of computer programs and offers state-of-the-art solutions. Covers--software development, software testing, structured programming, composite design, language design, proofs of program correctness, and mathematical reliability models. Written in an informal style for anyone whose work is affected by the unreliability of software. Examples illustrate key ideas, over 180 references.