描述计算机程序的精确详细的配置的文档。它标识输入、 输出、 控制逻辑，算法和数据结构的每个个体的低级组件的软件产品，并且是初级产品的详细的设计阶段。也被称为详细的设计规格。