+612 9045 4394
Formal Object-Oriented Development : Focus on Cancer - Kevin Lano

Formal Object-Oriented Development

Focus on Cancer

Paperback ISBN: 9783540199786
Number Of Pages: 422

Share This Book:


or 4 easy payments of $39.60 with Learn more
Ships in 5 to 9 business days

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

Introductionp. 1
The Software Development Processp. 15
From Analysis to Formal Specificationp. 44
Specification Notations and Techniquesp. 84
Design and Refinementp. 137
Proof Methods and Techniquesp. 176
Concurrent and Real-time Behaviourp. 219
Implementation and Code Generationp. 257
Case Studiesp. 286
A Appendix: Z[subscript ++]p. 332
B Appendix: VDM[subscript ++]p. 365
C Exercise Answersp. 388
D Task Analysisp. 415
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540199786
ISBN-10: 3540199780
Series: Focus on Cancer
Audience: General
Format: Paperback
Language: English
Number Of Pages: 422
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: GB
Dimensions (cm): 23.39 x 15.6  x 2.26
Weight (kg): 0.61