以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
形式化
暂无解析
典型的详细设计工具有程序流程图、盒图、问题分析图和____________。
在常见的软件开发模型中，能体现软件创建所固有的迭代和无间隙特征的是（）
CMMl模型提供了两种过程改善路径，一是称为能力等级的过程改善路径，二是称为_________的过程改善路径。
在软件开发中，软件系统模型大体上可分为两类：概念模型和（）
简述泛化的概念及其约束。