Dokument, mis kirjeldab arvutiprogrammi täpne täpne konfiguratsiooni. See tuvastab sisend, toodangu, kontrolli loogika, algoritmide ja iga üksiku alamtaseme komponendi tarkvaratoote kohta andmete struktuuri ja üksikasjaliku projekteerimise etapil esmatoote. , Mida nimetatakse ka üksikasjalik konstruktsiooni spetsifikaat.