- ISBN:9787302633068
- 装帧:平装-胶订
- 册数:暂无
- 重量:暂无
- 开本:其他
- 页数:220
- 出版时间:2023-05-01
- 条形码:9787302633068 ; 978-7-302-63306-8
本书特色
1. 本书为“高等学校软件工程专业教学指导委员会软件工程专业推荐教材”和“国务院学位委员会软件工程学科评议组推荐教材”。 2. 本书通过预约挂号系统、智能家居系统等多个实例,系统性地讲解软件需求工程的典型方法及其应用实践。 3. 以金芝教授为代表的本书编者为软件需求工程领域的资深学者和教师,将其深耕领域几十年的心得和成果融于本书之中。
内容简介
本书融汇了编者在软件需求领域多年来从事研究和教学工作的经验,重点介绍软件需求工程领域研究者三十余年沉淀的经典方法和编者在近十余年探索中获得的新认知。全书分为12章,第1、2章分别为软件需求工程概述和软件需求过程的介绍,第3~7章介绍主要的软件需求工程方法,包括面向目标的方法、面向主体的方法、问题驱动的方法、面向情景的方法、基于环境建模的方法; 第8~12章分别讲解质量需求分析、形式化需求规约和验证、时间需求分析、敏捷开发中的需求活动和新时代的需求工程。 本书配套PPT课件、教学大纲等教学资源,可以作为高等院校软件工程相关专业高年级本科生或研究生“软件需求工程”相关课程的教材或参考书,也可以作为软件工程领域研究人员、软件需求工程实践者及对此领域感兴趣的普通读者的参考书。
目录
第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性质的时间约束建模 10.6小结与讨论 10.7思考题 参考文献 第11章敏捷开发中的需求活动 11.1写用户故事 11.1.1如何写故事 11.1.2怎样写好故事 11.1.3如何保证故事质量 11.2敏捷开发中的需求规划 11.2.1团队的组织 11.2.2为用户故事确定优先级 11.2.3规划的迭代与发布 11.3敏捷需求质量检查和测试 11.3.1故事质量检查 11.3.2需求测试 11.3.3非功能属性测试 11.4敏捷需求管理工具 11.4.1常用功能 11.4.2扩展功能 11.4.3常用工具 11.5小结与讨论 11.6思考题 参考文献 第12章新时代的需求工程 12.1面向群体的需求工程 12.1.1群体参与需求活动 12.1.2群体需求工程模型 12.1.3群体需求工程框架 12.2面向新型应用的需求工程 12.2.1大数据分析软件的需求 12.2.2智能软件的需求 12.3结束语 参考文献 附录A时间需求模式 A.1简单时序约束模式 A.2简单实时需求模式 A.3复合模式
作者简介
金芝,北京大学教授、博士生导师,IEEE/CCF/AAIA Fellow,国家杰出青年基金获得者。现任北京大学高可信软件技术重点实验室常务副主任,兼任国务院学位委员会软件工程学科评议组成员、中国计算机学会系统软件专业委员会主任、《软件学报》执行主编、《计算机学报》副主编及其他多个国内外期刊的编委。发表论文两百余篇,4次获得 ACM 杰出论文奖,出版专著3部。研究领域包括:软件需求工程、知识工程、知识/数据驱动的软件工程等。
-
断代(八品)
¥15.5¥42.0 -
家居设计解剖书
¥29.3¥39.0 -
当代中国政府与政治(新编21世纪公共管理系列教材)
¥30.2¥48.0 -
中医基础理论
¥50.7¥59.0 -
习近平新时代中国特色社会主义思想概论
¥18.2¥26.0 -
编辑审稿实务教程
¥35.1¥45.0 -
社会学概论(第二版)
¥33.0¥55.0 -
古代汉语(第四册)
¥13.3¥35.0 -
当代教育心理学(第3版)(本科教材)
¥23.8¥66.0 -
落洼物语
¥8.4¥28.0 -
EPLAN电气设计
¥29.9¥39.8 -
软件定义网络(SDN)实战教程
¥49.6¥69.8 -
[社版]大汉战神:霍去病传
¥14.0¥40.0 -
介入护理学(案例版)
¥52.4¥69.8 -
学前教育史(第二版)
¥31.2¥48.0 -
西方经济学(宏观部分·第八版)(21世纪经济学系列教材)
¥41.7¥49.0 -
西方经济学(微观部分·第八版)(21世纪经济学系列教材)
¥17.9¥56.0 -
数理经济学的基本方法(第4版)(精)
¥56.9¥79.0 -
老子道德经注校释(精)/新编诸子集成
¥30.1¥43.0 -
科技论文规范写作与编辑(第4版)
¥63.0¥75.0