5 Ergebnisse.

New title for software professionals.

B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software develop...

Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-oriented methods, it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing deveopmental practices. The text is extensively illustrated, both with tutorial and self-assessment excercises and with e...

Keine Beschreibung.

A coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics development With contributions from leading experts in the field, the book begins with an introduction to UML and goes on to offer in-depth and up-to-date coverage of: * The role of semantics * Considerations and rationale for a UML system model * Definition of the UML system model * UML descriptive semantics * Axiomatic seman...