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
Validated Designs for Object-oriented Systems
โ Scribed by John S. Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef
- Publisher
- Springer
- Year
- 2004
- Tongue
- English
- Leaves
- 416
- Edition
- 1st Edition.
- Category
- Library
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
<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
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 M
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