Abstract

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.

Keywords

Expense Sorting Folk 

Preview

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