Software reliability methods

Doron A. Peled ; foreword by Edmund M. Clarke

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.

「Nielsen BookData」より


  • 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.

「Nielsen BookData」より


書名 Software reliability methods
著作者等 Clarke, E. M.
Peled, Doron
シリーズ名 Undergraduate texts in computer science
出版元 Springer
刊行年月 c2001
ページ数 xix, 331 p.
大きさ 25 cm
ISBN 0387951067
NCID BA53312796
※クリックでCiNii Booksを表示
言語 英語
出版国 アメリカ合衆国