以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。

通过复审有关需要的陈述，或功能和性能目标的陈述等技术文档，而获取相关需求的初始发现需求技术是（）

模块本身以及所有直接或间接从属于它的模块的集合，称为该模块的（）

在销售管理系统需求文档中出现下列描述，属于功能需求范畴的是（）

简述事务设计的基本步骤。

瀑布模型规定了各开发阶段的活动：系统需求、软件需求、__________、设计、__________、测试和运行。

简述软件工程与软件危机的概念以及提出软件工程概念的目的。

对于单___________个需求必须具有的基本性质：必要的、___________、可测的、___________以及可测量的。

在软件开发中，软件系统模型大体上可分为两类：概念模型和（）