Sebuah dokumen yang menjelaskan rinci konfigurasi eksak dari sebuah program komputer. Ini mengidentifikasi input, output, kontrol logika, algoritma, dan struktur data dari setiap individu komponen tingkat rendah produk perangkat lunak dan produk utama dari fase desain rinci. Juga disebut spesifikasi desain rinci.