单项选择题

A.数据流图和数据字典
B.程序流程图
C.体系结构模型
D.软件必须满足的约束条件