Lecture overview -- Keyboard shortcut: 'u'  Previous page: Software Qualities -- Keyboard shortcut: 'p'  Next page: Specifications -- Keyboard shortcut: 'n'  Lecture notes - all slides and notes together  slide -- Keyboard shortcut: 't'  Textbook -- Keyboard shortcut: 'v'  Help page about these notes  Alphabetic index  Course home  Page 3 : 32
Object-oriented Programming in C#
Contracts and Assertions

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