Correctness

Lecture overview -- Keyboard shortcut: 'u'

Previous page: Software Qualities -- Keyboard shortcut: 'p'

Next page: Specifications -- Keyboard shortcut: 'n'

Lecture notes - all slides together

Annotated slide -- Keyboard shortcut: 't'

Textbook -- Keyboard shortcut: 'v'

Alphabetic index

Help page about these notes

Contracts and Assertions - slide 3 : 32

Correctness

A correct program - in relation to what?

The programmers own, immediate comprehension
- Not formulated - not documented - volatile - easily forgotten
- Sometimes incomplete
A program specification
- Formulated - written
- Well-considered and agreed upon
- Formal or informal
- Part of the program