Ett dokument som beskriver den exakta detaljerade konfigurationen av ett datorprogram. Det identifierar indata, utdata, bränslekontrollsystemets logik, algoritmer och datastrukturen för varje enskild lågnivå-komponent av programvaran och är den primära produkten av detaljerad design-fasen. Kallas även detaljerade konstruktionsspecifikation.