מסמך המתאר את תצורת נתונים היסטוריים המדויק של תוכנית מחשב. הוא מזהה את קלט, פלט, בקרה הלוגיקה, אלגוריתמים, ואת מבנה נתונים של כל רכיב ברמה נמוכה בודדים של מוצר התוכנה, הוא המוצר הראשי של שלב התכן. נקרא גם מפרט תכנון מפורט.