在结构化设计中，执行一个特殊任务的一个过程以及相关的数据结构，称之为______。

为了进一步表达泛化的语义，UML给出了4个约束，分别为完整、不完整、______和______。

常有的静态评估技术有______、______和形式化证明等。

在需求发现常用的技术中，无法验证所发现的需求是否满足用户的要求，无法验证发现的需求是否正确的技术是______和提炼。

为了模型化包之间的关系，UML给出了两种依赖，即______和______。

《ISO/IEC系统与软件工程—软件生存周期过程12207—1995》标准中，按基本过程分类，软件生存周期分为获取过程、供应过程、______、______和维护过程等5个步骤。

在事务流程图中，表示一个事务可以被另一个事务“吸食”,称为______。

在数据字典中，如果“学生成绩表”由多个“学生成绩”构成，可以记为学生成绩表=______。

结构化分析方法基本术语有数据流、______、数据存储、数据源和数据潭等。

迭代、增量式开发是指通过开发活动的迭代，不断地产生相应的增量。在RUP中，规定了4个开发阶段，分别为：初始阶段、______、______移交阶段。