Validated Designs for Object-oriented Systems

John Fitzgerald

ISBN 10: 1849969434 / ISBN 13: 9781849969437

Published by Springer London, Springer London Okt 2010, 2010

About this Item

Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Seller Inventory # 9781849969437

Bibliographic Details

• Title: Validated Designs for Object-oriented Systems
• Publisher: Springer London, Springer London Okt 2010
• Publication Date: 2010
• Language: English
• ISBN 10: 1849969434
• ISBN 13: 9781849969437
• Binding: Taschenbuch
• Condition: Neu

About this title

Synopsis

This book describes an object-oriented design approach that combines the benefits of abstract modeling 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, the elements of functional modeling are introduced using numerous examples and exercises, industrial case studies, and experience reports. Industry-strength tools support the text.