• David Lightfoot
Part of the Macmillan Computer Science Series book series (COMPSS)


There are long-standing problems in the development of computer systems: often they take too much time to produce, cost more than estimated and fail to satisfy the customer. This “software crisis” was first identified in the nineteen-sixties and has been the subject of much research and controversy, and it is still not entirely solved.


Formal Specification Software Tool Mathematical Notation Software Engineer Mathematical Technique 
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

© David Lightfoot 1991

Authors and Affiliations

  • David Lightfoot
    • 1
  1. 1.School of Computing and Mathematical SciencesOxford PolytechnicUK

Personalised recommendations