Formal Object-Oriented Development (Formal Approaches to Computing and Information Technology (FACIT)) - Softcover

Lano, Kevin

 
9783540199786: Formal Object-Oriented Development (Formal Approaches to Computing and Information Technology (FACIT))

Synopsis

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

"synopsis" may belong to another edition of this title.

Synopsis

An 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 developmental practices. The text is illustrated, both with tutorial and self-assessment exercises and with examples of industrial applications from the reactive systems domain. This study should be of interest to academic and industrial researchers, software engineering practitioners and consultants, and aims to provide reading material for students learning Z++ and VDM++.

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title

9781447130741: Formal Object-Oriented Development

Featured Edition

ISBN 10:  144713074X ISBN 13:  9781447130741
Publisher: Springer, 2011
Softcover