Korrekthed

Stop show with sound -- Keyboard shortcut: 'x'

Next slide in show -- Keyboard shortcut: 'n'

1 minute, 43 seconds

Designkontrakter og ansvarsfordeling - slide 3 : 31

Korrekthed

Vi ønsker at skrive korrekte programmer

Korrekte i forhold til hvad?

Korrekthed kan være relativ til
- programmørens forståelse
  - Ofte uformuleret og flygtig
- en formuleret specifikation
  - Formel eller uformel
  - Separat eller en del af programmet