在详细设计阶段,经常采用的工具包括( )。

A.SC图
B.DFD图
C.判定表
D.形式化方法
出自:河南理工大学软件工程