Formal Object-Oriented Development

Kevin Lano

ISBN 10: 3540199780 / ISBN 13: 9783540199786

Published by Springer London Okt 1995, 1995

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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++. 440 pp. Englisch.

Seller Inventory # 9783540199786

Bibliographic Details

• Title: Formal Object-Oriented Development
• Publisher: Springer London Okt 1995
• Publication Date: 1995
• Language: English
• ISBN 10: 3540199780
• ISBN 13: 9783540199786
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 24D millimeters 235 millimeters width by 155 millimeters height by 24 millimeters depth
• Weight: 663 grams

About this title

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