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: As 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. As The use of tools and an accessible modelling language improves student motivation. As The industry-based examples and case studies add to the credibility of the approach. As 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. As Support materials as listed above.The aim of this chapter is to provide a deeper understanding of the relationship between UML class diagram models and the data ... The UML class diagram notation provides a graphical overview of system structure in terms of classes andanbsp;...
|Title||:||Validated Designs for Object-oriented Systems|
|Author||:||John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef|
|Publisher||:||Springer Science & Business Media - 2005-12-06|