Formal Object-Oriented Development

Formal Object-Oriented Development
Author :
Publisher : Springer Science & Business Media
Total Pages : 435
Release :
ISBN-10 : 9781447130734
ISBN-13 : 1447130731
Rating : 4/5 (731 Downloads)

Book Synopsis Formal Object-Oriented Development by : Kevin Lano

Download or read book Formal Object-Oriented Development written by Kevin Lano and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 435 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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++.


Formal Object-Oriented Development Related Books