Items related to Validated Designs for Object-oriented Systems
Synopsis
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 be improved by careful, rigorous & machine-supported analysis.
This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic power of formal methods, to give designs that can be rigorously validated & assured with automated support.
Aimed at software architects, designers & developers as well as computer scientists, no prior knowledge of formal methods is assumed. The elements of functional modelling are introduced using numerous examples & exercises, industrial case studies & experience reports. Industry-strength tools support the text. Go to www.vdmbook.com to download free-of-charge VDMTools Lite, which gives the possibility to try out examples from the book
"synopsis" may belong to another edition of this title.
Synopsis
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 be improved by careful, rigorous and machine-supported analysis. This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic power of formal methods, to give designs that can be rigorously validated and assured with automated support. Aimed at software architects, designers and developers as well as computer scientists, no prior knowledge of formal methods is assumed. The elements of functional modelling are introduced using numerous examples and exercises, industrial case studies and experience reports. Industry-strength tools support the text.
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2005
- ISBN 10 1852338814
- ISBN 13 9781852338817
- BindingHardcover
- LanguageEnglish
- Number of pages416
Other Popular Editions of the Same Title
Search results for Validated Designs for Object-oriented Systems
Stock Image
Validated Designs for Object-oriented Systems.
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Seller rating 4 out of 5 stars
89 figs., XII, 402 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch. Seller Inventory # 36247HB
Quantity: 1 available
Stock Image
Validated Designs for Object-oriented Systems
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 416 Illus. Seller Inventory # 7590657
Quantity: 1 available
Stock Image
Validated Designs for Object-oriented Systems
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 416. Seller Inventory # 18290004
Quantity: 1 available
Stock Image
Validated Designs for Object-oriented Systems
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 416. Seller Inventory # 26290014
Quantity: 1 available
Stock Image
VALIDATED DESIGNS FOR OBJECT-ORIENTED SYSTEMS
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-325242
Quantity: 1 available
Stock Image
Validated Designs For Object-oriented Systems
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-275407
Quantity: 1 available
Stock Image
Validated Designs for Object-Oriented Systems
Published by
Springer London, Limited, 2005
ISBN 10: 1852338814
ISBN 13: 9781852338817
Used
Hardcover
Seller: TextbookRush, Grandview Heights, OH, U.S.A.
Seller rating 4 out of 5 stars
Condition: Very Good. Ships SAME or NEXT business day. We Ship to APO/FPO addr. Choose EXPEDITED shipping and receive in 2-5 business days within the United States. See our member profile for customer support contact info. We have an easy return policy. Seller Inventory # 45929161
Quantity: 2 available
Stock Image
Validated Designs for Object-Oriented Systems
Published by
Springer London, Limited, 2005
ISBN 10: 1852338814
ISBN 13: 9781852338817
Used
Hardcover
Seller: TextbookRush, Grandview Heights, OH, U.S.A.
Seller rating 4 out of 5 stars
Condition: Good. Ships SAME or NEXT business day. We Ship to APO/FPO addr. Choose EXPEDITED shipping and receive in 2-5 business days within the United States. See our member profile for customer support contact info. We have an easy return policy. Seller Inventory # 45927798
Quantity: 3 available
Stock Image
Validated Designs for Object-oriented Systems
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781852338817_new
Quantity: Over 20 available
Stock Image
Validated Designs for Object-oriented Systems
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9781852338817
Quantity: Over 20 available