以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
形式化
暂无解析
简述需求规约的概念及其基本性质。
下列软件测试技术中，依据软件行为描述的是（）
模块本身以及所有直接或间接从属于它的模块的集合，称为该模块的（）
CMMl模型提供了两种过程改善路径，一是称为能力等级的过程改善路径，二是称为_________的过程改善路径。
在结构化分析方法的基本术语中，数据流的起点称为（）
