软件需求工程

图书标准信息

• 作者 梁正平、毋国庆、袁梦霆、李勇华 著
• 出版社 机械工业出版社
• 出版时间 2020-12
• 版次 1
• ISBN 9787111669470
• 定价 59.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 268页

【内容简介】

本书全面和系统地介绍了软件需求工程的基本概念和原理，以及开发和管理软件需求的方法和技术。此外，本书也介绍了软件需求工程中的一些新方法和技术，并结合了许多典型实例。本书可作为本科生高年级和研究生的教材，也可供从事软件开发工作和研究的专业人员参考和自学。

【作者简介】

梁正平 深圳大学计算机与软件学院副教授，CCF软件工程专委会委员。毕业于武汉大学计算机学院软件与理论专业，获工学博士学位。主持和参加国家863计划、国家自然科学基金、广东省自然科学基金等科研项目十余项，并完成各类产学研合作项目多项。主要研究兴趣包括软件工程、形式化方法与技术、计算智能及应用等。 

毋国庆 武汉大学计算机学院教授、博士生导师。主要从事软件形式化理论、软件开发方法和技术、需求工程和可信软件等方面的研究。多年来，除承担本科和研究生教学工作外，科研方面曾参加“银河-Ⅰ”巨型计算机操作系统的研制工作，并承担和主持国家863计划、国家自然科学基金等多个项目，以及其他一些软件开发项目。在国内外学术期刊及国际学术会议上发表了多篇论文和研究报告。 

【目录】

前言
教学建议
第1章  需求工程概述
  1.1  需求工程的重要性
  1.2  什么是软件需求
  1.3  软件需求的分类
  1.4  需求规格说明
  1.5  需求工程定义
  1.6  其他一些基本概念
第2章  软件工程与需求工程
  2.1  软件工程
  2.2  软件开发过程模型
    2.2.1  瀑布式模型
    2.2.2  快速原型模型
    2.2.3  渐增式模型
    2.2.4  螺旋式模型
    2.2.5  敏捷模型
    2.2.6  基于组件的模型
  2.3  需求工程在软件开发中的地位
    2.3.1  需求工程对软件开发的影响
    2.3.2  需求工程面临的困难
  2.4  软件需求的开发和管理过程
第3章  需求获取
  3.1  确定需求开发计划
  3.2  确定项目的目标和范围
  3.3  确定调查对象
  3.4  实地收集需求信息
    3.4.1  实地收集需求信息面临的困难
    3.4.2  实地调查的步骤
    3.4.3  实地收集需求信息的方式
    3.4.4  需求信息的分类
  3.5  确定非功能需求
  3.6  在收集需求信息中应注意的问题
  3.7  使用场景技术的需求获取
    3.7.1  场景的定义及构成
    3.7.2  场景的表示
    3.7.3  场景的种类
    3.7.4  场景技术的特点
  3.8  基于用例的需求获取
第4章  需求分析
  4.1  建立系统关联图
  4.2  分析需求的可行性
  4.3  构建用户接口原型
  4.4  确定需求的优先级
  4.5  需求建模
  4.6  建立数据词典
第5章  需求建模方法与技术
  5.1  什么是模型
  5.2  软件工程中的模型
  5.3  结构化的需求建模方法
    5.3.1  SA方法的基本思想
    5.3.2  SA方法的描述手段
    5.3.3  示例说明
    5.3.4  SA方法的分析步骤
  5.4  面向对象的需求建模方法
    5.4.1  面向对象方法中的一些基本概念
    5.4.2  面向对象的需求分析
    5.4.3  OMT方法的图形描述工具
    5.4.4  基于OMT方法的需求建模步骤
  5.5  基于图形的需求建模技术
    5.5.1  UML概述
    5.5.2  用例图
    5.5.3  活动图
    5.5.4  协作图
    5.5.5  实体关联图
第6章  需求定义
  6.1  需求规格说明的作用
  6.2  需求规格说明的特性
  6.3  需求规格说明的结构和内容
  6.4  需求规格说明文档的编写要求
  6.5  需求规格说明的描述语言
第7章  需求的形式化描述
  7.1  形式化规格说明及其方法
  7.2  形式化规格说明与软件开发
  7.3  基于公理或推理规则的形式化规格说明
  7.4  基于代数的形式化规格说明
  7.5  形式描述语言Z
    7.5.1  Z简介
    7.5.2  Z的数学符号
    7.5.3  Z中的图表
    7.5.4  Z规约的示例
  7.6  形式描述语言LOTOS
    7.6.1  LOTOS简介
    7.6.2  LOTOS的数据描述语言
    7.6.3  LOTOS的进程
    7.6.4  LOTOS规约的示例
  7.7  B方法
    7.7.1  B方法简介
    7.7.2  B方法中的数学符号
    7.7.3  B方法中的抽象机
    7.7.4  B规约的示例
第8章  需求验证
  8.1  需求验证的目的和任务
  8.2  需求验证的内容和方法
  8.3  需求评审
    8.3.1  审查人员的确定和分工
    8.3.2  正式的审查过程
    8.3.3  审查的内容
    8.3.4  需求评审面临的困难
  8.4  需求测试
  8.5  编制用户使用手册草案
  8.6  解释需求模型
  8.7  需求可视化
第9章  需求管理
  9.1  需求变更控制
  9.2  需求规格说明文档的版本控制
  9.3  需求变更状态的跟踪
  9.4  需求跟踪
    9.4.1  可跟踪信息分类
    9.4.2  需求跟踪技术
第10章  面向软件行为和视点的需求建模与检测方法
  10.1  基本原理
    10.1.1  基本概念
    10.1.2  基本步骤
  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.3.6  异类视点需求模型的转换实现
  10.4  需求模型的检测方法
    10.4.1  检测内容
    10.4.2  检测过程
    10.4.3  检测过程中各检测方法的具体实现
  10.5  基于行为模型的需求可视化
  10.6  需求建模方法的特点
  10.7  进一步的研究
    10.7.1  方法的实现
    10.7.2  有待研究的问题
第11章  面向问题域的需求分析方法
  11.1  问题域
  11.2  问题域的划分
  11.3  问题框架
  11.4  问题框架的类型
  11.5  PDOA方法的分析步骤
    11.5.1  问题及问题域的界定与描述
    11.5.2  基于问题框架的问题域划分
  11.6  问题框架实例间的关系及其组合
    11.6.1  问题框架实例间的关系
    11.6.2  问题框架实例的组合
第12章  面向多视点的需求工程
  12.1  什么是视点
  12.2  多视点与需求工程
  12.3  多视点需求工程的过程模型
    12.3.1  视点的标识
    12.3.2  视点的表示
    12.

内容摘要
 本书全面、系统地介绍了软件需求工程的基本概念和原理，以及开发和管理软件需求的方法与技术，按照需求工程中开发和管理过程的顺序，结合许多经典实例，较详尽地介绍了需求开发各个阶段的任务、步骤。此外，本书还介绍了需求工程领域的一些新理论、新技术和新方法。全书共分为13章，内容包括：需求工程概述，软件工程与需求工程，需
求获取，需求分析，需求建模方法与技术，需求定义，需求的形式化描述，需求验证，需求管理，面向软件行为和视点的需求建模与检测方法，面向问题域的需求分析方法，面向多视点的需求
工程，需求工程与软件开发管理。
本书适合作为计算机、
软件工程专业高年级本科生
和研究生的教材，也可供从事软件开发和研究工作的专业人员参考与自学。