以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
形式化
暂无解析
对于一个项目而言，________是项目管理计划的主体，一般还可能存在一些支持生存周期过程具有重要作用的其他计划，包括软件工程管理计划、软件配置管理计划、软件质量保证计划、___________和软件度量计划。
一组模块共同引用一个全局数据项，则该组模块间的耦合类型是（）
软件基本过程是指那些与软件生产直接相关的活动集，可分为获取过程、供应过程、运行过程、维护过程和（）
简述RUP设计模型以及包含的元素。
简述需求规约的概念及其基本性质。