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.