Software reliability methods

Doron A. Peled

332 pages, parution le 01/03/2001

Ajouter à une liste

Indisponible

Résumé

The book 'formal methods for software' presents a collection of current methods for dealing with software reliability. It compares between these methods, and shows their advantages and disadvantages. The book presents a description of the techniques, intended for a nonexpert audience with some minimal technical background (e.g., some training in software engineering, or basic computer science courses). It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This text/reference is intended to be used as an introduction to software methods techniques, a source for learning about various ways to enhanced software reliability, a reference on formal methods technique, and also as a basis for a one semester university course in this subject. It suggests various projects and exercises for achieving "hands-on" experience with the various formal methods tools.

Contents: 1. Introduction.- 2. Preliminaries.- 3. Logic and Theorem Proving.- 4. Modeling Systems.- 5. Formal Specification of Systems Properties.- 6. Automatic Verification.- 7. Deductive Verification.- 8. Process Algebras and Equivalences.- 9. Testing.- 10. Visualization.- 11. Pragmatics of Formal Methods.- 12.Conclusions.

Caractéristiques techniques

	PAPIER
Éditeur(s)	Springer
Auteur(s)	Doron A. Peled
Parution	01/03/2001
Nb. de pages	332
Format	16 x 24
Couverture	Relié
Poids	508g
Intérieur	Noir et Blanc
EAN13	9780387951065
ISBN13	978-0-387-95106-5