© 1998

Constructing Correct Software

The Basics


Table of contents

  1. Front Matter
    Pages I-XIII
  2. D. John Cooke
    Pages 1-27
  3. D. John Cooke
    Pages 28-46
  4. D. John Cooke
    Pages 47-75
  5. D. John Cooke
    Pages 76-88
  6. D. John Cooke
    Pages 89-148
  7. D. John Cooke
    Pages 149-215
  8. D. John Cooke
    Pages 246-266
  9. D. John Cooke
    Pages 267-332
  10. D. John Cooke
    Pages 333-355
  11. D. John Cooke
    Pages 356-371
  12. Back Matter
    Pages 372-395

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.


Formal Development algorithms design development formal methods software software development software engineering system specification testing

Authors and affiliations

  1. 1.Dept of Computer StudiesLoughborough UniversityLoughborough, LeicsUK

Bibliographic information

  • Book Title Constructing Correct Software
  • Book Subtitle The Basics
  • Authors John Cooke
  • Series Title Formal Approaches to Computing and Information Technology
  • DOI
  • Copyright Information Springer-Verlag London 1998
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-76156-3
  • eBook ISBN 978-1-4471-3985-0
  • Edition Number 1
  • Number of Pages XIII, 395
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Software Engineering
    Mathematical Logic and Formal Languages
  • Buy this book on publisher's site