Free shipping over $79 | Order by Dec 31 and enjoy a $10 voucher on your next purchase
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Software Reliability Methods - Doron A. Peled

Software Reliability Methods

By: Doron A. Peled

eText | 29 June 2013

At a Glance

eText

$84.99

or 4 interest-free payments of $21.25 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.
Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and present it as the suggested solution for the software reliability problem. This book presents a wider picture of formal methods, through a collection of notations and techniques. It compares them, and discusses their advantages and disadvantages. One of the main challenges of formal methods is in transferring the tech­ nology developed by researchers to the software development community. Re­ cently, we seem to be starting to have a better understanding of the important ingredients of formal methods tools. This manifests itself in the growing ac­ ceptance of such tools in the software and hardware development industry. Ideally, formal methods need to be intuitive to use (preferably using graphi­ cal interfaces), do not impose on the user an extensive learning period, and incur only small overhead to the development process. Formal methods are much more acceptable today than ten or twenty years ago, in particular in the hardware industry. Yet there is still a lively contention between different approaches.
on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionComputing & I.T.Computer Programming & Software DevelopmentSoftware EngineeringComputer HardwareNetwork HardwareComputer Networking & Communications

More in Software Engineering

The End of Leadership - Barbara Kellerman

eBOOK

The End of Leadership

eBook

$21.99

The Debugging Handbook - Johannes Kuhlmann

eBOOK

The Debugging Handbook

eBook

RRP $67.55

$54.99

19%
OFF
Developer Productivity - Tom Henricksen

eBOOK

Developer Productivity

eBook

$4.99

This product is categorised by