Specifikation

2 minutes, 2 seconds

Designkontrakter og ansvarsfordeling - slide 4 : 31

Specifikation

En program specifikation er en eksakt forskrift som skal opfyldes af program implementationen

En specifikation besvarer 'hvad spørgsmål' i modsætning til 'hvordan spørgsmål'

Formelle teknikker til specifikation af abstrakte datatyper:
- Algebraisk specifikation. En mængde af ligninger som angiver de kaldsmæssige egenskaber af datatypens operationer i forhold til et antal særlige konstruktorer
- Axiomatisk specifikation. En mængde af logiske udsagn om de definitionsmæssige egenskaber af datatypen og dens operationer

Et eksempel på en algebraisk specifikation af en stak.

Et eksempel på en axiomatisk specifikation af en kvadratrodsfunktion.