β Scribed by John S. Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef
No coin nor oath required. For personal study only.
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.
π SIMILAR VOLUMES
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-ori
<p><P>Object-oriented design methods are commonplace in computing systems development, but are often dismissed as 'boxes & arrows'. If systems developers are to gain full advantage from such methods, they should be able to achieve designs that are not merely the subject of heated argument, but can b
The authors describe a range of techniques, notations, principles, and procedures that will be useful to software developers using any kind of object-oriented analysis or design method. The book will help readers to think more clearly about what their object-oriented descriptions and notations mean