×
高等学校计算机专业系列教材软件需求工程/梁正平 毋国庆 袁梦霆

高等学校计算机专业系列教材软件需求工程/梁正平 毋国庆 袁梦霆

1星价 ¥41.3 (7.0折)
2星价¥41.3 定价¥59.0
暂无评论
图文详情
  • ISBN:9787111669470
  • 装帧:一般胶版纸
  • 册数:暂无
  • 重量:暂无
  • 开本:其他
  • 页数:268
  • 出版时间:2020-12-01
  • 条形码:9787111669470 ; 978-7-111-66947-0

内容简介

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

目录

前言 教学建议 第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1SA方法的基本思想 532SA方法的描述手段 533示例说明 534SA方法的分析步骤 54面向对象的需求建模方法 541面向对象方法中的一些基本概念 542面向对象的需求分析 543OMT方法的图形描述工具 544基于OMT方法的需求建模步骤 55基于图形的需求建模技术 551UML概述 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1Z简介 752Z的数学符号 753Z中的图表 754Z规约的示例 76形式描述语言LOTOS 761LOTOS简介 762LOTOS的数据描述语言 763LOTOS的进程 764LOTOS规约的示例 77B方法 771B方法简介 772B方法中的数学符号 773B方法中的抽象机 774B规约的示例 第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5PDOA方法的分析步骤 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33视点的分析 1234视点的集成 124示例 第13章需求工程与软件开发管理… 131需求与估算 132需求与项目进度安排 133
展开全部

作者简介

梁正平 深圳大学计算机与软件学院副教授,CCF软件工程专委会委员。毕业于武汉大学计算机学院软件与理论专业,获工学博士学位。主持和参加国家863计划、国家自然科学基金、广东省自然科学基金等科研项目十余项,并完成各类产学研合作项目多项。主要研究兴趣包括软件工程、形式化方法与技术、计算智能及应用等。 毋国庆 武汉大学计算机学院教授、博士生导师。主要从事软件形式化理论、软件开发方法和技术、需求工程和可信软件等方面的研究。多年来,除承担本科和研究生教学工作外,科研方面曾参加“银河-Ⅰ”巨型计算机操作系统的研制工作,并承担和主持国家863计划、国家自然科学基金等多个项目,以及其他一些软件开发项目。在国内外学术期刊及国际学术会议上发表了多篇论文和研究报告。

预估到手价 ×

预估到手价是按参与促销活动、以最优惠的购买方案计算出的价格(不含优惠券部分),仅供参考,未必等同于实际到手价。

确定
快速
导航