Validated Designs for Object-oriented Systems

Name: Validated Designs for Object-oriented Systems
SKU: 9986284
Price: 229.99 AUD
Availability: InStock

By:

Format:

Paperback / softback

Show Hide Adult Content

$229.99

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $57.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 26 Jun - 8 Jul using International Courier

Description

Object-oriented design methods are commonplace in computing systems development, but are often dismissed as 'boxes & arrows'. If systems developers are to gain full advantage from such methods, they should be able to achieve designs that are not merely the subject of heated argument, but can be improved by careful, rigorous & machine-supported analysis. This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic power of formal methods, to give designs that can be rigorously validated & assured with automated support. Aimed at software architects, designers & developers as well as computer scientists, no prior knowledge of formal methods is assumed. The elements of functional modelling are introduced using numerous examples & exercises, industrial case studies & experience reports. Industry-strength tools support the text. Go to www.vdmbook.com to download free-of-charge VDMTools Lite, which gives the possibility to try out examples from the book

Release date Australia

October 13th, 2010

Author

Audience

Professional & Vocational

Edition

Softcover reprint of hardcover 1st ed. 2005

Illustrations

65 Illustrations, black and white; XII, 404 p. 65 illus.

Pages

404

Dimensions

156x234x21

ISBN-13

9781849969437

Product ID

9986284

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here