وثيقة تصف التكوين المفصل الدقيق لبرنامج حاسوبي. يحدد الإدخال والإخراج، ومنطق التحكم، الخوارزميات وبنية البيانات لكل مكون الفردية ذات المستوى المنخفض من منتج البرنامج وهو المنتج الرئيسي لمرحلة التصميم التفصيلي. وتسمى أيضا مواصفات التصميم التفصيلي.