Skip to main content
SpringerLink
Log in
Book cover

Constructing Correct Software

  • Textbook
  • © 1998

Overview

Authors:
  1. D. John Cooke

    1. Dept of Computer Studies, Loughborough University, Loughborough, Leics, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • This book links constructive software development to traditional problem-solving methods - It is not dependent on any particular specification language, but is based instead on their common core - predicate logic and familiar data types -
  • It provides a brief transliteration into the major specification notations

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 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 chapters)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Introduction

    • D. John Cooke
    Pages 1-27

  3. The Specification of Functions I

    • D. John Cooke
    Pages 28-46

  4. The Specification of Functions II

    • D. John Cooke
    Pages 47-75

  5. Transformations I

    • D. John Cooke
    Pages 76-88

  6. Transformations II

    • D. John Cooke
    Pages 89-148

  7. Algorithm Extraction

    • D. John Cooke
    Pages 149-215

  8. Specifications Revisited (Quantifications etc.)

    • D. John Cooke
    Pages 216-245

  9. Refinement

    • D. John Cooke
    Pages 246-266

  10. Sorting

    • D. John Cooke
    Pages 267-332

  11. Two Further Examples

    • D. John Cooke
    Pages 333-355

  12. The Broader Picture

    • D. John Cooke
    Pages 356-371

  13. Back Matter

    Pages 372-395
    Download chapter PDF
Back to top

Keywords

About this book

Constructing Correct Software - The Basics illustrates and explains the constructive approach to software development. This approach involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer and then testing whether it actually works. It uses the same basic theory as traditional techniques, but is much quicker and easier as no "wrong answers" are obtained, and therefore no incorrect work needs to be discarded. John Cooke has based this book on material which has been used to teach the topic extensively at Loughborough University. It has been carefully written to be accessible to anyone with an appropriate basic background knowledge of formal methods. It is intended for 3rd/4th year undergraduate and postgraduate students on formal methods and software engineering courses, and software developers in industry who need a more pragmatic, yet fully formal, approach to software development.

Authors and Affiliations

  • Dept of Computer Studies, Loughborough University, Loughborough, Leics, UK

    D. John Cooke

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation