以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
形式化
暂无解析
简述泛化的概念及其约束。
软件测试是一个有程序的过程，包括_________、测试执行以及测试结果比较等。
一组模块共同引用一个全局数据项，则该组模块间的耦合类型是（）
对于一个项目而言，________是项目管理计划的主体，一般还可能存在一些支持生存周期过程具有重要作用的其他计划，包括软件工程管理计划、软件配置管理计划、软件质量保证计划、___________和软件度量计划。
