Computer software reliability has never been so important. Computers are used in areas as diverse as air traffic control, nuclear reactors, real-time military,

Deals constructively with recognized software problems. Focuses on the unreliability of computer programs and offers state-of-the-art solutions. Covers—softwa

To make communication and computation secure against catastrophic failure and malicious interference, it is essential to build secure software systems and metho

Providing a general introduction to software reliability engineering, this book presents detailed analytical models, state-of-the-art techniques, methodologies,

A high percentage of defense systems fail to meet their reliability requirements. This is a serious problem for the U.S. Department of Defense (DOD), as well as