โ Scribed by John S. Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef
No coin nor oath required. For personal study only.
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 with UML and object-oriented programming makes it easy to integrate with the mainstream computing curriculum. Although the book is about formal methods, it does not have to be treated as a specialist topic. ยง The use of tools and an accessible modelling language improves student motivation. ยง The industry-based examples and case studies add to the credibility of the approach. ยง The light touch approach means that the material appeals to students with a wider range of abilities than is the case in a conventional formal methods text. ยง Support materials as listed above.
๐ 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