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

Hardcover | 3 February 2005

At a Glance

Hardcover


$119.00

or 4 interest-free payments of $29.75 with

 or 

Ships in 5 to 7 business days

This book provides an introduction to practical formal modelling techniques in the context of object-oriented system design. It is aimed at both practising software engineers with some prior experience of object-oriented design/programming and at intermediate or advanced students studying object-oriented design or modelling in a short course. The following features make this book particularly attractive to potential instructors: § The relationship with UML and object-oriented programming makes it easy to integrate with the mainstream computing curriculum. Although the book is about formal methods, it does not have to be treated as a specialist topic. § The use of tools and an accessible modelling language improves student motivation. § The industry-based examples and case studies add to the credibility of the approach. § The light touch approach means that the material appeals to students with a wider range of abilities than is the case in a conventional formal methods text. § Support materials as listed above.

Other Editions and Formats

Paperback

Published: 13th October 2010

More in Software Engineering

The Essence of Software Engineering - Cersei Page
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$38.75

22%
OFF
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Object-Oriented and Classical Software Engineering - Global Edition : 8th Edition - Stephen R. Schach