Validated Designs for Object-oriented Systems
Buch in deiner Nähe kaufen
Beschreibung
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.
Presents formal modelling techniques in a context that will be familiar to practitioners and students with no prior experience of formalism, namely object-oriented design Advocates formal modelling as an enhancement to common design practice The designer can move freely and consistently between the class structure view (using UML class diagrams) and the functional view (using VDM++) Makes extensive use of case studies and examples in industry Includes supplementary material: sn.pub/extras
Autor*in
John Fitzgerald
Themen in »Validated Designs for Object-oriented Systems«
Java Unified Modeling Language (UML) computer design formal method modeling object-oriented programming programming