在一个模块中（），反映模块的外部特性，逻辑反映它的内部特性。

（）是描述软件开发过程中各种活动如何执行的模型。

填空题（）是描述软件开发过程中各种活动如何执行的模型。

数据流图中，每个加工至少有（）个输入流和（） 个输出流。

填空题数据流图中，每个加工至少有（）个输入流和（） 个输出流。

判定树较判定表直观易读，判定表进行逻辑验证较严格，能把所有的可能性全部都考虑到 。可将两种工具结合起来，先（）...

填空题判定树较判定表直观易读，判定表进行逻辑验证较严格，能把所有的可能性全部都考虑到 。可将两种工具结合起来，先（）用作底稿，在此基础上产生（）。