Skip to main content
SpringerLink
Log in
Book cover

Programming with VDM

  • Textbook
  • © 1992

Overview

Authors:
  1. F. D. Rolland

    1. Department of Computing, Manchester Polytechnic, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Computer Science Series (COMPSS)

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

Access this book

Log in via an institution

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Formal Specification and Object-Oriented Design

    • F. D. Rolland
    Pages 1-10

  3. Mathematical Foundations

    • F. D. Rolland
    Pages 11-20

  4. Functions

    • F. D. Rolland
    Pages 21-30

  5. Operations

    • F. D. Rolland
    Pages 31-41

  6. Composite Objects

    • F. D. Rolland
    Pages 42-52

  7. Further Structured Data Types

    • F. D. Rolland
    Pages 53-66

  8. Specification Using Maps

    • F. D. Rolland
    Pages 67-78

  9. A Simple Case Study

    • F. D. Rolland
    Pages 79-104

  10. Epilogue

    • F. D. Rolland
    Pages 105-106

  11. Back Matter

    Pages 107-122
    Download chapter PDF
Back to top

Keywords

About this book

This text aims to provide a practical programmer's introduction to VDM (Vienna Development Method) - one of the leading methods of formal methods for program development. Adopts an object-oriented approach to software design and includes many examples of target programs written in Modula-2. Although intended for readers with some experience of programming, no prior knowledge of mathematics is assumed: the contents include a chapter on the mathematics required for VDM. The final chapter contains a prototype electronic mail system, specified using VDM, and implemented in Modula-2.

Authors and Affiliations

  • Department of Computing, Manchester Polytechnic, UK

    F. D. Rolland

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation