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 examples of industrial applications
from the reactive systems domain. This book will be of interest to
academic and industrial researchers, software engineering practitioners
and consultants, and will also provide invaluable reading material for
students learning Z++ and VDM++.