Dokumentas, kuriame tiksliai išsamias kompiuterio programos konfigūraciją. Identifikuoja įvesties, išvesties, kontrolės logika, algoritmai ir duomenų struktūra, kiekvieno atskiro žemo lygio komponento programinės įrangos produktą ir yra pirminio produkto detaliojo projekto rengimo etapą. , Vadinamą išsami projektinė specifikacija.