Validated Designs for Object-oriented Systems

Mukherjee Paul Fitzgerald John Larsen Peter Gorm

ISBN 10: 1849969434 / ISBN 13: 9781849969437

Edité par Springer, 2010

A propos de cet article

PRINT ON DEMAND pp. 416. N° de réf. du vendeur 183071884

Détails bibliographiques

Titre : Validated Designs for Object-oriented Systems

Éditeur : Springer

Date d'édition : 2010

Reliure : Couverture souple

Etat : New

A propos de ce titre

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.