Formal Object-Oriented Development

  • Kevin┬áLano

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Kevin Lano
    Pages 1-14
  3. Kevin Lano
    Pages 15-43
  4. Kevin Lano
    Pages 44-83
  5. Kevin Lano
    Pages 84-136
  6. Kevin Lano
    Pages 137-175
  7. Kevin Lano
    Pages 176-218
  8. Kevin Lano
    Pages 219-256
  9. Kevin Lano
    Pages 257-285
  10. Kevin Lano
    Pages 286-313
  11. Back Matter
    Pages 314-422

About this book


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


code generation concurrency data structures design development formal methods formal specification inheritance language semantics software software development software engineering

Authors and affiliations

  • Kevin┬áLano
    • 1
  1. 1.Department of ComputingImperial College of Science, Technology and MedicineLondonUK

Bibliographic information