But in the Real World…

• Given the complexity of computer systems, it is virtually impossible to write programs that are completely:

  • Correct
  • Reliable

• Moreover:

  • We often specify solutions to the wrong problem

Previous slide

Next slide

Back to first slide

View graphic version