Items related to Validated Designs for Object-oriented Systems
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2010
- ISBN 10 1849969434
- ISBN 13 9781849969437
- BindingPaperback
- Number of pages416
Buy New
Learn more about this copy
US$ 85.69
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Validated Designs for Object-oriented Systems by Fitzgerald, John S. [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9781849969437
Buy New
US$ 85.69
Convert currency
Stock Image
Validated Designs for Object-oriented Systems
Published by
Springer
(2010)
ISBN 10: 1849969434
ISBN 13: 9781849969437
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9781849969437_lsuk
Buy New
US$ 87.47
Convert currency
Stock Image
Validated Designs for Object-oriented Systems
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9781849969437
Buy New
US$ 84.29
Convert currency
Stock Image
Validated Designs for Object-oriented Systems
Published by
Springer
(2010)
ISBN 10: 1849969434
ISBN 13: 9781849969437
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar2912160255206
Buy New
US$ 100.68
Convert currency
Seller Image
Validated Designs for Object-oriented Systems
Published by
Springer London Okt 2010
(2010)
ISBN 10: 1849969434
ISBN 13: 9781849969437
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 416 pp. Englisch. Seller Inventory # 9781849969437
Buy New
US$ 82.52
Convert currency
Seller Image
Validated Designs for Object-oriented Systems
Published by
Springer London
(2010)
ISBN 10: 1849969434
ISBN 13: 9781849969437
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering. Seller Inventory # 9781849969437
Buy New
US$ 87.35
Convert currency
Seller Image
Validated Designs for Object-oriented Systems
Published by
Springer London
(2010)
ISBN 10: 1849969434
ISBN 13: 9781849969437
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents formal modelling techniques in a context that will be familiar to practitioners and students with no prior experience of formalism, namely object-oriented designAdvocates formal modelling as an enhancement to common design practice. Seller Inventory # 4288999
Buy New
US$ 70.89
Convert currency
Stock Image
Validated Designs for Object-oriented Systems
Seller:
Rating
Book Description Condition: New. 2010. Paperback. . . . . . Seller Inventory # V9781849969437
Buy New
US$ 134.70
Convert currency
Stock Image
Validated Designs for Object-oriented Systems
Seller:
Rating
Book Description Condition: New. 2010. Paperback. . . . . . Books ship from the US and Ireland. Seller Inventory # V9781849969437
Buy New
US$ 159.51
Convert currency
Stock Image
Validated Designs for Object-oriented Systems
Published by
Springer London Ltd
(2010)
ISBN 10: 1849969434
ISBN 13: 9781849969437
New
Paperback / softback
Quantity: > 20
Seller:
Rating
Book Description Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9781849969437
Buy New
US$ 168.59
Convert currency