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

Nonlinear Differential Equations in Physics: Novel Methods for Finding Solutions
Nonlinear Differential Equations in Physics: Novel Methods for Finding Solutions

This book discusses various novel analytical and numerical methods for solving partial and fractional differential equations. Moreover, it presents selected numerical methods for solving stochastic point kinetic equations in nuclear reactor dynamics by using Euler–Maruyama and strong-order Taylor numerical methods. The book...

Complete Wireless Design
Complete Wireless Design
Design an entire radio system from the ground up instead of relying on a simple plug-in selection of circuits to be modified. Avoid an arduous trek through theory and mathematical derivations. Cotter Sayre’s Complete Wireless Design is the handbook that fits your needs. It covers wireless hardware design more thoroughly than any...
Cyber Threat!: How to Manage the Growing Risk of Cyber Attacks (Wiley Corporate F&A)
Cyber Threat!: How to Manage the Growing Risk of Cyber Attacks (Wiley Corporate F&A)

Conquering cyber attacks requires a multi-sector, multi-modalapproach

Cyber Threat! How to Manage the Growing Risk of CyberAttacks is an in-depth examination of the very real cybersecurity risks facing all facets of government and industry, andthe various factors that must align to maintain informationintegrity....


Ext JS 4 Plugin and Extension Development
Ext JS 4 Plugin and Extension Development

This book makes it fast and fun for ExtJS developers to get to grips with developing plugins and extensions. The step-by-step instructions, with plentiful examples and code, will give you the skills in no time.

Overview

  • Easy-to-follow examples on ExtJS plugins and extensions
  • Step-by-step...
Scalable Infrastructure for Distributed Sensor Networks
Scalable Infrastructure for Distributed Sensor Networks
Wireless sensor networks is a rapidly developing area. New applications are emerging and breakthroughs are being made in solving the underlying scientific problems.

The effectiveness of sensor networks depends largely on deployment strategies, self-organization capabilities, routing and information dissemination protocols, all of which...

Fuzzy Transportation and Transshipment Problems (Studies in Fuzziness and Soft Computing)
Fuzzy Transportation and Transshipment Problems (Studies in Fuzziness and Soft Computing)

This book presents a novel approach to the formulation and solution of three classes of problems: the fully fuzzy transportation problem, the fully fuzzy transshipment problem, and fully fuzzy solid transportation problem. It points out some limitations of the existing formulations and approaches, indicating some possible,...

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