Validated Designs for Object-oriented Systems displays how well-established modelling techniques based on UML can be enhanced with rigorous yet accessible specification features allowing the modelling of data & functionality in a formal language, VDM++, based on the ISO Standard Vienna Development MethodÆs Specification Language. Opening with a review of the basic concepts in object-orientation & UML, the book adds modelling & analytic power step by step, dealing with enhanced data types, recording logical constraints & specifying functionality. This builds to give a ôround-tripö approach in which architectural and design views are kept in synchronisation as models are developed, analysed and refined. Validated Designs for Object-oriented Systems introduces formal techniques with a light touch. An industrial tool set is used to support the concepts and techniques as they are introduced. The numerous supporting examples & case studies are based on real industrial applications of the technology.