Ένα έγγραφο που περιγράφει την ακριβή λεπτομερή ρύθμιση παραμέτρων ενός προγράμματος ηλεκτρονικού υπολογιστή. Προσδιορίζει την εισόδου, εξόδου, λογική ελέγχου, αλγόριθμοι και δομή δεδομένων κάθε επιμέρους στοιχείο χαμηλού επιπέδου του προϊόντος λογισμικού και είναι το πρωτογενές προϊόν η φάση λεπτομερούς σχεδιασμού. Ονομάζεται επίσης προδιαγραφή του λεπτομερούς σχεδιασμού.