Software Reliability Methods

By: E.M. Clarke (Foreword by), Doron A. Peled

Write A Review

Hardcover | 26 June 2001

At a Glance

Hardcover
356 Pages

Dimensions(cm)
24.77 x 15.88 x 1.91

Hardcover

$84.99

or 4 interest-free payments of $21.25 with

Ships in 7 to 10 business days

This volume presents a collection of methods for dealing with software reliability. Ideally, formal methods need to be intuitive to use, require a relatively brief learning period, and incur only small overhead to the development process. This book compares these varying methods and reveals their respective advantages and disadvantages, while also staying close to the dual themes of automata theory and logic. Topics and features: * Collects and compares the key software reliability methods currently in use: deductive verification, automatic verification, testing, and process algebra * Provides useful information suitable in the software selection process for a given project * Offers numerous exercises, projects, and running examples to facilitate learning formal methods and allows for hands-on experience with these critical tools * Describes the mathematical principles supporting formal methods * Gives insights into new research directions in the field, as well as ways of developing new methods and/or adjusting existing ones. This volume can be used as an introduction to software methods techniques, a source for learning about various ways to enhance software reliability, and a guide to formal methods techniques. It is an essential resource for professionals and software engineers in R&D departments in industry, using software reliability, program-modeling systems, and verification methods.

Industry Reviews

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)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Software Testing & Verification Programming & Scripting Languages Computer Science Computer Hardware Network Hardware

Other Editions and Formats

Paperback

Published: 9th October 2011

View Product

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
Table of Contents provided by Publisher. All Rights Reserved.

Software Reliability Methods

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Software Engineering

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Design Patterns

Elements of Reusable Object-Oriented Software

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

The Art of Spyro

Reignited Trilogy

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Arduino For Dummies

Blackwell Philosophy Anthologies

Developing Graphics Frameworks with Java and OpenGL

Git : Pocket Guide

A Working Introduction

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Coding All-in-One For Dummies

2nd Edition

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Hacking For Dummies

For Dummies (Computer/Tech)

User Story Mapping

Discover the Whote Story, Build the Right Product

Architectural Approach to Level Design

Second edition

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Lean Enterprise

How High Performance Organizations Innovate at Scale

This product is categorised by