Software Reliability Methods - Rilegato

Peled, Doron A.

 
9780387951065: Software Reliability Methods
Rilegato
ISBN 10: 0387951067 ISBN 13: 9780387951065
Casa editrice: Springer-Verlag New York Inc., 2001

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione

From the reviews:

"The book covers a wide range of formal methods and how to use them to specify, verify and test software systems. ... the book will provide a good, gentle introduction to the field with many pointers to more in-depth material. ... I strongly recommend this book for anyone interested in using formal methods to develop reliable software. The book presents a very good introduction to the field and ... covers the state-of-the-art in software reliability methods." (Michael Leuschel, Software Testing, Verification and Reliability, Vol. 2 (2), November, 2001)

Contenuti

*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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer-Verlag New York Inc.
Data di pubblicazione
2001
Lingua
Inglese
ISBN 10 
0387951067
ISBN 13 
9780387951065
Rilegatura
Copertina rigida
Numero di pagine
351
Contatto del produttore
Elevation
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Germania

Altre edizioni note dello stesso titolo

9781441928764: Software Reliability Methods

Edizione in evidenza

ISBN 10:  1441928766 ISBN 13:  9781441928764
Casa editrice: Springer, 2011
Brossura