Ett dokument som anger utformningen av ett system eller en komponent. Typisk innehåller algoritmer, system eller komponent arkitektur, bränslekontrollsystemets logik, datastrukturer, input/output format och gränssnitt beskrivningar. Kallas även programvara konstruktion beskrivning, inre specifikationer. Kontrast med programvara krav specifikation, externa specifikationer.