Validated Designs for Object-Oriented Systems

by Peter Gorm Larsen, Nico Plat, Paul Mukherjee, et al.

Book 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...

• Format: Hardcover
• Language: English
• ISBN: 1852338814
• ISBN13: 9781852338817
• Release Date: February 2005
• Publisher: Springer
• Length: 402 Pages
• Weight: 1.60 lbs.
• Dimensions: 0.9" x 6.6" x 9.5"