程序设计方法与优化PDF电子书下载

目录 3

第一部分 基础篇 3

第1章 绪论 3

1.1 程序设计方法的发展 3

1.2 程序设计的一般方法 9

1.2.1 程序设计语言简介 9

1.2.2 三种基本的程序结构 10

1.2.3 程序设计的基本方法要素 11

1.2.4 程序设计风格 15

1.3 程序设计的表示方法 18

1.3.1 程序流程图 18

1.3.2 判定表 20

1.3.3 过程设计语言（PDL） 22

小结 27

第2章 程序算法与图灵机模型 29

2.1 算法概念 29

2.2.1 图灵机概念 31

2.2 图灵机模型 31

2.2.2 二进位码的数据表示 39

2.2.3 非自然数的表示 43

2.3 通用图灵机 44

2.4 希尔伯特问题的不可解性 48

小结 53

第二部分 方法篇 57

第3章 结构化程序设计方法 57

3.1 结构化程序设计的基本思想 57

3.1.1 结构化程序设计的概念与标准结构 57

3.1.2 结构化程序设计的判别 60

3.1.3 结构化程序设计的步骤与原理 61

3.2 逐步求精的方法 62

3.3 改进的N-S图 66

3.4 非结构化程序到结构化程序的转化 70

3.4.1 非结构化程序转化为结构化程序的一般方法 70

3.4.2 非结构化程序转化为结构化程序的实例 72

小结 75

第4章 面向对象程序设计方法 76

4.1 面向对象程序设计的基本思想 76

4.1.1 面向对象程序设计的概述 76

4.1.2 面向对象方法的理论基础 82

4.1.3 面向对象程序设计的方法与步骤 86

4.2 面向对象程序设计中的继承机制 91

4.3 面向对象程序设计中的多态性 99

4.3.1 多态性的实现方式 99

4.3.2 多态性在程序设计中的应用 107

4.4 面向对象方法与结构化方法的比又 116

4.5 面向对象技术的未来发展 121

小结 125

第5章 组件化程序设计方法 126

5.1 组件化程序设计的基本思想 126

5.1.1 组件化程序的标准 126

5.1.2 组件技术与面向对象技术的比又 133

5.1.3 组件化程序的开发方法 134

5.2 CORBA组件模型 136

5.2.1 CORBA的相关概念 136

5.2.2 CORBA中面向对象分析的方法与JavaIDL程序实例 142

5.2.3 CORBA技术的新发展 150

5.3 COM组件对象模型 153

5.3.1 COM的相关概念 153

5.3.2 COM组件开发方法与程序实例 157

5.3.3 DCOM与COM＋技术 175

5.4 EJB组件模型 177

5.4.1 EJB的相关概念 177

5.4.2 EJB组件的开发方法和程序实例 181

5.4.3 EJB和其他技术的比又 189

5.5 组件技术与软件体系结构 192

小结 196

6.1.1 递归算法的分析与设计方法 198

第6章 递归程序设计方法 198

6.1 递归程序设计的基本思想 198

6.1.2 递归程序的公式化方法与程序实例 200

6.1.3 递归方法的应用领域 204

6.2 递归方法与树型结构 206

6.3 递归方法与栈结构 209

6.4 递归算法到非递归算法的变换 211

小结 217

第7章 嵌入式程序设计方法 218

7.1 嵌入式程序设计的基本思想 218

7.1.1 嵌入式系统的定义与特点 218

7.1.2 嵌入式程序设计的关键技术和方法 220

7.2 嵌入式实时操作系统分析 226

7.3 嵌入式C/C＋＋语言程序设计方法 229

7.3.1 嵌入式C语言程序设计方法 229

7.3.2 嵌入式C＋＋语言程序设计方法 234

7.4.1 嵌入式J2ME概述 239

7.4 嵌入式J2ME程序设计方法 239

7.4.2 MIDP在仿真器上的程序设计与实例 244

小结 248

第8章 程序的正确性证明 250

8.1 证明程序正确性的Floyd断言方法 250

8.1.1 基本概念与定义 250

8.1.2 部分正确性的证明 251

8.1.3 终止性证明 253

8.2 证明程序正确性的Hoare公理系统 255

8.2.1 Hoare逻辑 255

8.2.2 Hoare公理系统中的简单公理和证明实例 256

8.2.3 循环不变式的建立 258

8.3 面向对象程序设计的正确性证明 260

8.3.1 面向对象程序验证的特点 260

8.3.2 类级正确性 261

8.3.3 系统级正确性 264

8.3.4 类级正确性与系统级正确性的关系与证明 265

8.4 组件程序设计的正确性证明 266

8.4.1 组件的描述 266

8.4.2 组件的正确性验证 271

8.5 用广义数学归纳法证明递归程序的正确性 273

8.5.1 普通数学归纳法及应用实例 274

8.5.2 广义数学归纳法在递归程序证明中的应用 275

小结 278

第三部分 优化篇 281

第9章 程序计算复杂度的分析方法 281

9.1 程序结构复杂度的分析 281

9.1.1 程序结构复杂度的度量与建模 281

9.1.2 结构复杂度度量的自动实现 283

9.2 程序嵌套结构复杂度的分析 285

9.3 递归函数时间复杂度的分析 289

9.3.1 渐进算法分析 289

9.3.2 递归函数的分析方法 290

9.4 简化法则对程序算法时间复杂度的估算 293

小结 295

第10章 程序设计优化的方法 296

10.1 程序优化的内容与基本方法 296

10.1.1 程序优化的内容与原则 296

10.1.2 程序结构优化的基本方法 298

10.1.3 程序代码优化的基本方法 299

10.2 算法剖析与程序优化 303

10.3 常用高级程序语言的优化 305

10.3.1 C程序的常用优化方法 305

10.3.2 C＋＋程序的常用优化方法 314

10.3.3 Java程序性能的优化方法 329

10.3.4 ASP程序性能的优化方法 343

10.3.5 Prolog逻辑程序的优化方法 349

10.4 32位汇编指令的常用优化方法 358

小结 365