Skip to main content
SpringerLink
Log in

A Theory and Practice of Program Development

  • Textbook
  • © 1997

Overview

Authors:
  1. Derek Andrews

    1. Department of Mathematics and Computer Science, Leicester University, Leicester, 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 (23 chapters)

  1. Front Matter

    Pages i-xvii
    Download chapter PDF

  2. Writing Correct Programs

    • Derek Andrews
    Pages 1-6

  3. A Small Programming Language

    • Derek Andrews
    Pages 7-36

  4. Concepts and Properties

    • Derek Andrews
    Pages 37-65

  5. Building New Commands from Old

    • Derek Andrews
    Pages 66-83

  6. Program Refinement

    • Derek Andrews
    Pages 84-104

  7. The Basic Commands

    • Derek Andrews
    Pages 105-116

  8. Declarations and Blocks

    • Derek Andrews
    Pages 117-134

  9. Command Sequences

    • Derek Andrews
    Pages 135-144

  10. The Alternative Command

    • Derek Andrews
    Pages 145-158

  11. The Iterative Command

    • Derek Andrews
    Pages 159-183

  12. Functions and Procedures

    • Derek Andrews
    Pages 184-196

  13. An Example of Refinement at Work

    • Derek Andrews
    Pages 197-204

  14. On Refinement and Loops

    • Derek Andrews
    Pages 205-215

  15. Functions and Procedures in Refinement

    • Derek Andrews
    Pages 216-221

  16. Refinement and Performance

    • Derek Andrews
    Pages 222-229

  17. Searching and Sorting

    • Derek Andrews
    Pages 230-246

  18. Data refinement

    • Derek Andrews
    Pages 247-281

  19. A Theory of Data Refinement

    • Derek Andrews
    Pages 282-307

  20. An Alternative Refinement of the Security System

    • Derek Andrews
    Pages 308-317
Back to top

Keywords

About this book

A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is assumed, thus making it widely accessible. A Theory and Practice of Program Development is intended for 3rd/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code.

Authors and Affiliations

  • Department of Mathematics and Computer Science, Leicester University, Leicester, UK

    Derek Andrews

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation