结构化语言是介于自然语言和（）之间的一种半形式语言。

在结构化分析中，用于描述加工逻辑的主要工具有三种，即：结构化语言、判定表、（）

填空题在结构化分析中，用于描述加工逻辑的主要工具有三种，即：结构化语言、判定表、（）

软件质量保证应在（）阶段开始。

填空题软件质量保证应在（）阶段开始。

Jackson方法是一种面向（）的设计方法。

填空题Jackson方法是一种面向（）的设计方法。