It is an introduction to the science of writing programs, the engineering of software. It is not a book concerned with writing programs in a particular programming language, nor is it a collection of standard algorithms for solving common problems. It is about the creation of software designs which are guaranteed to meet their requirements, that are correct — and correctness cannot be qualified, software is either correct or it isn’t.


Transformation Rule Program Design Programming Paradigm Procedural Program Software Artefact 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London 1998

Authors and Affiliations

  • D. John Cooke
    • 1
  1. 1.Dept of Computer StudiesLoughborough UniversityLoughborough, LeicsUK

Personalised recommendations