本书融汇了编者在软件需求领域多年从事研究和教学工作的经验，重点介绍软件需求工程领域研究者三十余年沉淀的经典方法和编者在近十余年探索中获得的新认知。全书分为12章，第1、2章分别为软件需求工程概述和软件需求过程的介绍，第3～7章介绍主要的软件需求工程方法，包括面向目标的方法、面向主体的方法、问题驱动的方法、面向情景的方法、基于环境建模的方法；第8～12章分别讲解质量需求分析、形式化需求规约和验证、时间需求分析、敏捷开发中的需求活动和新时代的需求工程。
本书配套PPT课件、教学大纲等教学资源，可以作为高等院校软件工程相关专业高年级本科生或研究生“软件需求工程”相关课程的教材或参考书，也可以作为软件工程领域研究人员、软件需求工程实践者及对此领域感兴趣的普通读者的参考书。

金芝，博士，北京大学教授，博士生导师，IEEE/CCF/AAIA Fellow，国家杰出青年基金获得者。现任北京大学高可信软件技术教育部重点实验室常务副主任，兼任国务院学位委员会软件工程学科评议组成员、中国计算机学会系统软件专业委员会主任、《软件学报》执行主编、《计算机学报》副主编及其他多个国内外期刊的编委。发表论文两百余篇，4次获得ACM杰出论文奖，出版专著3部。研究领域包括：软件需求工程、知识工程、知识/数据驱动的软件工程等。

第1章 软件需求工程概述
1.1 什么是软件需求工程
1.1.1 软件需求案例
1.1.2 软件需求开发
1.1.3 软件需求工程任务抽象
1.2 需求工程为什么有用
1.2.1 功能需求与非功能需求
1.2.2 需求干系人
1.2.3 为什么需要需求工程
1.3 为什么强调环境
1.4 软件需求工程是否需要方法学支撑
1.4.1 需求开发的复杂性
1.4.2 方法学的作用
1.5 本书导读
参考文献
第2章 软件需求过程
2.1 需求过程模型
2.1.1 迭代式需求过程模型
2.1.2 敏捷需求模型
2.2 需求开发活动
2.2.1 需求获取
2.2.2 需求分析和磋商
2.2.3 需求文档化
2.2.4 需求验证
2.3 需求管理
2.3.1 需求变化溯源
2.3.2 需求变更管理
2.3.3 需求追踪
2.4 小结与讨论
2.5 思考题
参考文献
第3章 面向目标的方法
3.1 概述
3.1.1 目标的分类
3.1.2 目标的层次
3.1.3 目标的作用
3.2 目标建模元素
3.2.1 目标的表示
3.2.2 目标的精化
3.2.3 其他概念
3.3 基于目标的需求分析
3.3.1 目标建模
3.3.2 目标障碍分析
3.3.3 对象识别
3.3.4 主体职责分配
3.3.5 最优方案选择和目标操作化
3.4 工业界应用
3.5 小结与讨论
3.6 思考题
参考文献
第4章 面向主体的方法
4.1 概述
4.1.1 主体的含义
4.1.2 主体的作用
4.2 面向主体的需求建模框架
4.2.1 策略主体
4.2.2 主体意图
4.2.3 依赖关系
4.2.4 模型视图
4.3 基于策略主体的需求分析
4.3.1 早期需求分析
4.3.2 后期需求分析
4.4 小结与讨论
4.5 思考题
参考文献
第5章 问题驱动的方法
5.1 概述
5.1.1 问题的定位
5.1.2 问题的描述
5.1.3 问题的分解
5.2 问题框架
5.2.1 现象和领域特征
5.2.2 基本问题框架
5.2.3 基本问题框架变体
5.3 框架关注点
5.3.1 需求式行为问题关注点
5.3.2 命令式行为问题关注点
5.3.3 信息显示问题关注点
5.3.4 简单工件问题关注点
5.3.5 变换问题关注点
5.4 综合关注点
5.5 小结与讨论
5.6 思考题
参考文献
第6章 面向情景的方法
6.1 概述
6.2 基于文本的情景描述
6.2.1 识别业务目标/功能
6.2.2 撰写情景描述
6.2.3 情景细化
6.3 基于用例的情景建模
6.3.1 用例和用例图
6.3.2 用顺序图建模情景
6.3.3 用活动图建模情景
6.4 应用情景图
6.5 情景的原型化
6.6 小结与讨论
6.7 思考题
参考文献
第7章 基于环境建模的方法
7.1 概述
7.2 环境建模和环境本体
7.2.1 顶层环境本体
7.2.2 领域环境本体
7.3 软件系统问题规约
7.3.1 本体引导的环境实体识别
7.3.2 本体支持的共享现象确定
7.3.3 本体制导的用户需求定义
7.3.4 本体驱动的现象关系规约
7.4 环境相关的典型非功能需求
7.5 小结与讨论
7.6 思考题
参考文献
第8章 质量需求分析
8.1 概述
8.1.1 质量需求定义
8.1.2 质量需求分析概述
8.2 质量需求建模框架
8.2.1 质量目标的定义与建模
8.2.2 质量目标与功能目标的关联建模
8.2.3 质量目标关系的建模与表示
8.3 质量需求精化分析
8.3.1 安全目标的结构化
8.3.2 多维度安全目标精化规则
8.3.3 安全目标精化分析策略
8.4 基于模式的质量需求操作化分析
8.4.1 安全模式
8.4.2 基于情景目标建模的安全模式
8.4.3 安全模式的选择与应用
8.5 小结与讨论
8.6 思考题
参考文献
第9章 形式化需求规约和验证
9.1 概述
9.2 需求形式化建模
9.2.1 状态迁移系统
9.2.2 需求的迁移系统表示
9.3 约束或性质的表示
9.3.1 性质规约语言简介
9.3.2 性质的时态逻辑表示
9.4 需求验证
9.5 案例研究
9.5.1 系统模型构建
9.5.2 验证性质
9.6 四变量模型及其文档化方法
9.6.1 模型介绍
9.6.2 系统需求文档及其验证
9.6.3 系统的设计文档
9.6.4 软件需求文档
9.7 小结与讨论
9.8 思考题
参考文献
第10章 时间需求分析
10.1 概述
10.2 简单时序约束
10.2.1 状态-状态关系模式
10.2.2 状态-事件关系模式
10.2.3 事件-事件关系模式
10.3 简单实时需求
10.3.1 状态持续时间
10.3.2 状态-状态关系
10.3.3 状态-事件关系
10.3.4 事件-状态关系
10.3.5 事件-事件关系
10.4 复合模式
10.5 时间建模
10.5.1 系统的时间约束建模
10.5.2 性质