Formal Object-Oriented Development

Formal Object-Oriented Development

by Kevin Lano
     
 

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

Overview

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++.

Product Details

ISBN-13:
9783540199786
Publisher:
Springer London
Publication date:
11/28/1995
Series:
Formal Approaches to Computing and Information Technology (FACIT) Series
Edition description:
Softcover reprint of the original 1st ed. 1995
Pages:
422
Product dimensions:
6.10(w) x 9.25(h) x 0.04(d)

Related Subjects

Meet the Author

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >