现代软件工程 中 基本方法篇PDF电子书下载

第五章 需求工程 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