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

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

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

在结构化分析方法的基本术语中，数据流的起点称为（）

CMMl模型基于过程途径思想，通过过程把软件质量3个支撑点：受训的人员、________、工具和设备进行集成，以开发所期望的系统/产品。