简述泛化的概念及其约束。
泛化是一般性类目(父类)和它的较为特殊性类目(子类)之间的一种关系，有时称为“is-a-kind-of”关系，UMI.给出了以下4个约束:
(1)完整;
(2)不完整;
(3)可斥;
(4)重叠。
暂无解析
简述需求规约的概念及其基本性质。
结构化分析方法给出了一种能表达系统功能模型的图形化工具是____________。
在常见的软件开发模型中，能体现软件创建所固有的迭代和无间隙特征的是（）
软件开发的本质概括为不同抽象层术语之间以及不同抽象层处理逻辑之间的_______________。
模块本身以及所有直接或间接从属于它的模块的集合，称为该模块的（）
