对于单___________个需求必须具有的基本性质：必要的、___________、可测的、___________以及可测量的。
无歧义的(或无二义的)、可跟踪的
暂无解析
以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
在软件开发中，软件系统模型大体上可分为两类：概念模型和（）
如果一个模块的各个成分和同一个功能密切相关，而且一个成分的输出作为另一个成分的输入，则该模块的内聚是__________。
简述泛化的概念及其约束。
软件基本过程是指那些与软件生产直接相关的活动集，可分为获取过程、供应过程、运行过程、维护过程和（）
