- Shopping Bag ( 0 items )
Deals constructively with recognized software problems. Focuses onthe unreliability of computer programs and offers state-of-the-artsolutions. Covers—software development, software testing,structured programming, composite design, language design, proofsof program correctness, and mathematical reliability models.Written in an informal style for anyone whose work is affected bythe unreliability of software. Examples illustrate key ideas, over180 references.
CONCEPTS OF SOFTWARE RELIABILITY.
Definition of Software, Reliability.
Errors—Their Causes and Consequences.
DESIGNING RELIABLE SOFTWARE.
Basic Design Principles.
Requirements, Objectives, and Specifications.
Program Structure Design.
Module Design and Coding.
Function and System Testing.
ADDITIONAL TOPICS IN SOFTWARE RELIABILITY.
Management Techniques for Reliability.
Programming Languages and Reliability.
Computer Architecture and Reliability.
Proving Program Correctness.
Software Support Systems.