Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Software Reliability Methods (Texts in Computer Science)

Buy

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.

In addition to describing the individual methods in considerable depth, it also discusses when each method is appropriate and the tradeoffs that are necessary in selecting among them. The different techniques are illustrated by many challenging exercises that can be used in conjunction with state of the art tools. It even tells where to access the tools on the web! I do not know of any other book that covers the same topics with such depth.

The book also describes the process of applying formal methods, starting with modeling and specification, then selecting an appropriate verification technique, and, finally, testing the resulting program. This knowledge is   essential in practice, but is rarely covered in software engineering texts. Most books focus on a particular technique like program testing and do not cover other validation techniques or how several techniques can be used in   combination. Because Doron has made significant contributions to the development of many of the validation techniques described in the book, his insights are particularly important on this critical issue.

The book is appropriate for a wide spectrum of people involved in the development of software. It is particularly appropriate for an upper level undergraduate level course on software reliability or a master's degree course in software engineering. In fact, it is sufficiently well annotated with pointers to other more advanced papers that it can be used as a reference source for software engineers engaged in code validation or by researchers in formal methods.

Having just completed a book on model checking with Doron, I am   immensely impressed with both his talent as a computer scientist and his skill as a writer. I am sure that the present book will be an enormous success. I recommend it with great enthusiasm for anyone who is interested in the problem of software reliability.  

(HTML tags aren't allowed.)

The End of Software: Transforming Your Business for the On Demand Future
The End of Software: Transforming Your Business for the On Demand Future
Twenty-five years ago, the high-tech business was small, computers were largely relegated to accounting, and the money major corporations spent on information technology barely made a dent in their overall budgets. Today that has all changed. High-tech businesses are some of the largest in the world. The Dow Jones Industrial Average includes four...
Sustainability at the Cutting Edge, Second Edition: Emerging Technologies for low energy buildings
Sustainability at the Cutting Edge, Second Edition: Emerging Technologies for low energy buildings
Sustainability at the Cutting Edge is an essential guide to understanding the future direction of sustainable technology. This fully updated new edition deals not only with current best practice and state of the art case studies, but with the very latest emerging technologies which will transform the relationship between buildings and energy....
Sams Teach Yourself Wikipedia in 10 Minutes
Sams Teach Yourself Wikipedia in 10 Minutes

Sams Teach Yourself Wikipedia in 10 Minutes gives you straightforward, practical answers when you need fast results. By working through the 10-minute lessons, you'll learn everything you need to know to take advantage of the Wikipedia encyclopedia and all of Wikipedia™s incredible resources.

...

Solaris 8: The Complete Reference
Solaris 8: The Complete Reference
Clients often ask why we choose Solaris as an operating environment. Is it a decision based on price? Is it an attraction to the latest gizmo features, each with its own four-letter acronym? Do we have a cozy arrangement with Sun Microsystems to promote their operating system? The answer to each of these questions is no, no, NO!  ...
Designing Embedded Processors: A Low Power Perspective
Designing Embedded Processors: A Low Power Perspective
As we embrace the world of personal, portable, and perplexingly complex digital systems, it has befallen upon the bewildered designer to take advantage of the available transistors to produce a system which is small, fast, cheap and correct, yet possesses increased functionality.

Increasingly, these systems have to consume little energy....

The HTML Pocket Guide
The HTML Pocket Guide

This handy low-priced book is packed with HTML/XHTML definitions and tips, including those for HTML5 elements in depth. Snappy writing and illustrative code samples walk readers through HTML uses and element definitions. Handy pocket size provides a convenient reference for HTML coders. A true companion to standards-compliant design. The HTML...

©2021 LearnIT (support@pdfchm.net) - Privacy Policy