Skip to main content
SpringerLink
Log in

Formal Object-Oriented Development

  • Book
  • © 1995

Overview

Authors:
  1. Kevin Lano

    1. Department of Computing, Imperial College of Science, Technology and Medicine, London, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Introduction

    • Kevin Lano
    Pages 1-14

  3. The Software Development Process

    • Kevin Lano
    Pages 15-43

  4. From Analysis to Formal Specification

    • Kevin Lano
    Pages 44-83

  5. Specification Notations and Techniques

    • Kevin Lano
    Pages 84-136

  6. Design and Refinement

    • Kevin Lano
    Pages 137-175

  7. Proof Methods and Techniques

    • Kevin Lano
    Pages 176-218

  8. Concurrent and Real-time Behaviour

    • Kevin Lano
    Pages 219-256

  9. Implementation and Code Generation

    • Kevin Lano
    Pages 257-285

  10. Case Studies

    • Kevin Lano
    Pages 286-313

  11. Back Matter

    Pages 314-422
    Download chapter PDF
Back to top

Keywords

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

Authors and Affiliations

  • Department of Computing, Imperial College of Science, Technology and Medicine, London, UK

    Kevin Lano

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation