Free shipping on all orders over $79* Limited Time Only
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Validated Designs for Object-oriented Systems - John Fitzgerald

Validated Designs for Object-oriented Systems

By: John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef

eText | 25 November 2005

At a Glance

eText

$109.00

or 4 interest-free payments of $27.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.
Object-oriented design methods are commonplace in computing systems development, but are often dismissed as little more than 'boxes and arrows'. If systems developers are to gain the 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 and machine-supported analysis. Validated Designs for Object-oriented Systems 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?? and assured with automated support. Aimed at software architects, designers?? and developers as well as computer scientists, no prior knowledge of formal methods is assumed. The elements of functional modelling are introduced using numerous examples?? and exercises, industrial case studies?? and experience reports. Industry-strength tools support the text, ?? and further materials are available on the accompanying website.
on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionComputing & I.T.Computer Programming & Software DevelopmentObject-Oriented Programming or OOPSoftware EngineeringComputer ScienceSystems Analysis & DesignMathematicsDatabasesData Capture & Analysis

Other Editions and Formats

Paperback

Published: 13th October 2010

View Product

More in Computer Programming & Software Development

The End of Leadership - Barbara Kellerman

eBOOK

The End of Leadership

eBook

$21.99

This product is categorised by