Cover image for Software reliability methods
Title:
Software reliability methods
Author:
Peled, Doron A., 1962-
Personal Author:
Publication Information:
New York : Springer, [2001]

©2001
Physical Description:
xix, 331 pages : illustrations ; 25 cm.
Language:
English
ISBN:
9780387951065
Format :
Book

Available:*

Library
Call Number
Material Type
Home Location
Status
Central Library QA76.76.R44 P317 2001 Adult Non-Fiction Non-Fiction Area
Searching...

On Order

Summary

Summary

This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability. Various projects and exercises give readers hands-on experience with the various formal methods and tools.


Table of Contents

Introduction
Preliminaries
Logic and Theorem Proving
Modeling Systems
Formal Specification of Systems Properties
Automatic Verification
Deductive Verification
Process Algebras and Equivalences
Testing
Visualization
Pragmatics of Formal Methods
Conclusions

Google Preview