Track My Order
Help Centre
1300 187 187
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Software Reliability Methods : Texts in Computer Science - E.M. Clarke

Software Reliability Methods

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

Hardcover | 26 June 2001

At a Glance

Hardcover

$95.46

or 4 interest-free payments of $23.86 with

 or 

Aims to ship 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)

You Can Find This Book In

Non-FictionComputing & I.T.Computer Programming & Software DevelopmentSoftware EngineeringSoftware Testing & VerificationProgramming & Scripting LanguagesComputer ScienceComputer HardwareNetwork Hardware

Other Editions and Formats

Paperback

Published: 9th October 2011

View Product

More in Software Engineering

Learning Agile : Understanding Scrum, XP, Lean, and Kanban - Andrew Stellman

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

Paperback

RRP $95.00

$43.25

54%
OFF
Information Modeling and Relational Databases : 2nd Edition - Terry Halpin

Information Modeling and Relational Databases

2nd Edition

Hardcover

RRP $108.95

$74.95

31%
OFF
Systems Analysis and Design : 8th Edition - Alan Dennis

Systems Analysis and Design

8th Edition

Paperback

RRP $263.95

$220.75

16%
OFF
Debugging Teams : Better Prductivity Through Collaboration - Brian Debugging

Debugging Teams

Better Prductivity Through Collaboration

Paperback

RRP $57.00

$28.25

50%
OFF
Typescript Cookbook : Real World Type-Level Programming - Stefan Baumgartner

Typescript Cookbook

Real World Type-Level Programming

Paperback

RRP $125.50

$55.25

56%
OFF
Fluent C : Principles, Practices, and Patterns - Christopher Preschern

Fluent C

Principles, Practices, and Patterns

Paperback

RRP $125.50

$55.25

56%
OFF
Learning Algorithms : A Programmer's Guide to Writing Better Code - George Heineman

Learning Algorithms

A Programmer's Guide to Writing Better Code

Paperback

RRP $152.00

$66.25

56%
OFF

This product is categorised by

Popular Searches