Software Reliability Methods
Buch in deiner Nähe kaufen
Beschreibung
A new text/reference on formal method and techniques and tools for software development project design. Essential book for software engineers in R&D departments in industry, as well as for graduate students.
Autor*in
Doron A. Peled
Themen in »Software Reliability Methods«
automata formal method formal specification logic modeling software engineering testing verification
Stimmen zu »Software Reliability Methods«
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)
()