Software Reliability Methods

ISBN-10: 0387951067
ISBN-13: 9780387951065
Authors: Doron A. Peled, E. M. Clarke
List price: $119.99

FREE return shipping at the end of the semester -

Out of stock


This volume presents a collection of methods for dealing with software reliability. Ideally, formal methods need to be intuitive to use, require a relatively brief learning period, and incur only small overhead to the development process. This book compares these varying methods and reveals their respective advantages and disadvantages, while also staying close to the dual themes of automata theory and logic. Topics and features:* Collects and compares the key software reliability methods currently in use: deductive verification, automatic verification, testing, and process algebra* Provides useful information suitable in the software selection process for a given project* Offers numerous…    

Customers also bought

Product details

Binding: Hardcover Publisher: Springer New York Number of pages: 332 Dimensions: 6.25" wide x 9.75" long x 0.75" tall Weight: 1.430 lbs. Language: English