Software Reliability Methods (Hardcover, 2001 ed.)


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 exercises, projects, and running examples to facilitate learning formal methods and allows for ¿hands-on¿ experience with these critical tools * Describes the mathematical principles supporting formal methods * Gives insights into new research directions in the field, as well as ways of developing new methods and/or adjusting existing ones. This volume can be used as an introduction to software methods techniques, a source for learning about various ways to enhance software reliability, and a guide to formal methods techniques. It is an essential resource for professionals and software engineers in R&D departments in industry, using software reliability, program-modeling systems, and verification methods.

R1,614

Or split into 4x interest-free payments of 25% on orders over R50
Learn more

Discovery Miles16140
Mobicred@R151pm x 12* Mobicred Info
Free Delivery
Delivery AdviceShips in 10 - 15 working days


Toggle WishListAdd to wish list
Review this Item

Product Description

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 exercises, projects, and running examples to facilitate learning formal methods and allows for ¿hands-on¿ experience with these critical tools * Describes the mathematical principles supporting formal methods * Gives insights into new research directions in the field, as well as ways of developing new methods and/or adjusting existing ones. This volume can be used as an introduction to software methods techniques, a source for learning about various ways to enhance software reliability, and a guide to formal methods techniques. It is an essential resource for professionals and software engineers in R&D departments in industry, using software reliability, program-modeling systems, and verification methods.

Customer Reviews

No reviews or ratings yet - be the first to create one!

Product Details

General

Imprint

Springer-Verlag New York

Country of origin

United States

Series

Texts in Computer Science

Release date

June 2001

Availability

Expected to ship within 10 - 15 working days

First published

2001

Foreword by

Authors

Dimensions

235 x 155 x 26mm (L x W x T)

Format

Hardcover

Pages

332

Edition

2001 ed.

ISBN-13

978-0-387-95106-5

Barcode

9780387951065

Categories

LSN

0-387-95106-7



Trending On Loot