Et dokument som beskriver den nøyaktige detaljerte konfigurasjonen av et dataprogram. Det identifiserer inndata, -utdata, kontrollogikk, algoritmer og datastrukturen i hver enkelt lavt nivå komponent av PROGRAMVAREPRODUKTET, og er det primære produktet av detaljert utformingsfasen. Kalles også detaljert utarbeidingsspesifikasjon.