Validated Designs for Object-Oriented Systems

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

Book Overview

This book describes an object-oriented design approach that combines the benefits of abstract modeling 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, the elements of functional modeling are introduced using numerous examples and exercises, industrial case studies, and experience...

• 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"