Validated Designs for Object-oriented Systems / Edition 1

Validated Designs for Object-oriented Systems / Edition 1

by John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat
     
 

View All Available Formats & Editions

ISBN-10: 1849969434

ISBN-13: 9781849969437

Pub. Date: 11/05/2010

Publisher: Springer London

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

Overview

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.

Product Details

ISBN-13:
9781849969437
Publisher:
Springer London
Publication date:
11/05/2010
Edition description:
Softcover reprint of hardcover 1st ed. 2005
Pages:
404
Product dimensions:
0.85(w) x 6.14(h) x 9.21(d)

Table of Contents

I - Models and Software Development Introduction Building a Model in VDM++: an Overview VDM++ Tool Support II - Modelling Object-oriented Systems in VDM++ Defining Data Defining Functionality Modelling Unordered Collections Modelling Ordered Collections Modelling Relationships III - Modelling in Practice: Three Case Studies Model Structuring: The Enigma Cipher Combining Views: The CSLaM System TradeOne: From Enterprise Architecture to Business Application IV - From Models to Code Concurrency in VDM++ Model Quality Implementing in Java A - Solutions to exercises Bibliography List of Acronyms Subject Index Definitions Index

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >