Validated Designs for Object-oriented Systems - Hardcover

Fitzgerald, John; Larsen, Peter Gorm; Mukherjee, Paul

Hardcover

ISBN 10: 1852338814 ISBN 13: 9781852338817

Verlag: Springer, 2005

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2005
• Sprache: Englisch
• ISBN 10: 1852338814
• ISBN 13: 9781852338817
• Einband: Tapa dura
• Anzahl der Seiten: 416
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Deutschland