为需求建模并进行分析 企业建模和分析 为非功能需求建模 业务规则和组织结构 非功能需求的分类 目标、任务和职责 性能建模和分析 软系统分析 可用性建模和分析 数据建模 安全性、保密性、和可靠性建 实体关系模型 模和分析 行为建模和分析 分析需求模型 结构化分析 有效性和合法性 面向对象分析 致性检查 形式化方法 模型模拟 ◆领域建模和分析 自动推理 领域工程和重用 工具 特定领域模型 CASE和元CASE 形式化分析工具为需求建模并进行分析  企业建模和分析 ◼ 业务规则和组织结构 ◼ 目标、任务和职责 ◼ 软系统分析  数据建模 ◼ 实体关系模型  行为建模和分析 ◼ 结构化分析 ◼ 面向对象分析 ◼ 形式化方法  领域建模和分析 ◼ 领域工程和重用 ◼ 特定领域模型  为非功能需求建模 ◼ 非功能需求的分类 ◼ 性能建模和分析 ◼ 可用性建模和分析 ◼ 安全性、保密性、和可靠性建 模和分析  分析需求模型 ◼ 有效性和合法性 ◼ 一致性检查 ◼ 模型模拟 ◼ 自动推理  工具 ◼ CASE和元CASE ◼ 形式化分析工具