以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
形式化
暂无解析
CMMl模型提供了两种过程改善路径，一是称为能力等级的过程改善路径，二是称为_________的过程改善路径。
瀑布模型规定了各开发阶段的活动：系统需求、软件需求、__________、设计、__________、测试和运行。
结构化分析方法给出了一种能表达系统功能模型的图形化工具是____________。
下列术语可用于表达客观世界中各种各样事物之间的关系的是（）
CMMl模型基于过程途径思想，通过过程把软件质量3个支撑点：受训的人员、________、工具和设备进行集成，以开发所期望的系统/产品。
邮箱：