Formal Object-Oriented Development


Write The First Customer Review

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

Formal Object-Oriented Development 1995, Springer, London, England

ISBN-13: 9783540199786

Softcover Reprint of the Origi edition

Trade paperback