- 作 者：周之英
- 出 版 社：北京：科学出版社
- 出版年份：2000
- ISBN：7030077040
- 标注页数：503 页
- PDF页数：511 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源511 ≥503页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第五章 需求工程 1
5.1 概述 1
5.2 需求工程的内容 7
5.3 快速原型方法 26
第六章 需求分析的结构化技术 37
6.1 结构化分析方法 37
6.2 结构化分析和设计技术（SADT） 65
6.3 其他具有结构化思想的需求分析方法 74
6.4 基于自动工具的方法 81
第七章 有关控制的需求分析技术 86
7.1 概述 86
7.2 有限状态机 87
7.3 Petri网 96
7.4 应用Petri网进行系统分析的实例 107
8.1 概述 120
第八章 需求分析的形式化方法 120
8.2 几种常见的规格说明方法 126
8.3 规格说明语言——VDM语言 136
8.4 规格说明语言—Z语言 144
8.5 LARCH语言 159
8.6 OBJ语言 166
8.7 GIST语言 171
第九章 软件体系结构研究的意义与现状 174
9.1 概述 174
9.2 软件体系结构的工具——SAAM及应用 186
9.3 体系结构不匹配问题 195
9.4 软件体系结构的形式化描述 198
9.5 一种可交换的体系结构描述语言——ACME 200
9.6 莱特标记法（Wright notations） 207
第十章 基本的软件体系结构风格 211
10.1 体系结构风格（architectural style） 211
10.2 常见的软件体系结构风格 214
10.3 体系结构类型的比较 231
第十一章 软件的结构化设计方法 250
11.1 软件设计的一些概念 250
11.2 结构化设计方法的基本概念 251
11.3 从数据流图导出结构图 265
第十二章 Jackson软件开发方法和Parnas方法 285
12.1 JSP——Jackson程序设计方法 285
12.2 Jackson系统开发方法——JSD 301
12.3 Parnas方法的概念 321
第十三章 文件和数据库的设计 323
13.1 数据分析的基本概念 323
13.2 IDEFIX模型的构造 329
13.3 建模方法 349
第十四章 面向对象开发方法 358
14.1 面向对象技术的基本概念 358
14.2 Wirfs Brock的责任驱动的设计方法 369
14.3 对象模型技术 378
14.4 Booch方法 386
14.5 Coad与Yourdon方法 390
14.6 分级的面向对象设计HOOD 394
第十五章 基于使用实例的综合面向对象软件开发方法 397
15.1 使用实例（use case）的设计方法概述 397
15.2 分析阶段 402
15.3 构造阶段 410
15.4 实现与测试 416
15.5 统一建模语言UML 417
15.6 IBM的基于经验的面向对象软件开发方法 428
第十六章 实时系统的设计问题 436
16.1 概述 436
16.2 面向对象的实时系统设计方法——OCTOPUS 443
16.3 实例分析 455