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++.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!