程序设计方法与优化（第2版）

　　第一部分 基础篇
　　第1章 绪论
　　1.1 程序设计方法的发展
　　1.2 程序设计的一般方法
　　1.2.1 程序设计语言简介
　　1.2.2 三种基本的程序结构
　　1.2.3 程序设计的基本方法要素
　　1.2.4 程序设计风格
　　1.3 程序设计的表示方法
　　1.3.1 程序流程图
　　1.3.2 判定表
　　1.3.3 过程设计语言（PDL）
　　小结
　　第2章 程序算法与图灵机模型
　　2.1 算法概念
　　2.2 图灵机模型
　　2.2.1 图灵机概念
　　2.2.2 二进位码的数据表示
　　2.2.3 非自然数的表示
　　2.3 通用图灵机
　　2.4 希尔伯特问题的不可解性
　　小结
　　第二部分 方法篇
　　第3章 结构化程序设计方法
　　3.1 结构化程序设计的基本思想
　　3.1.1 结构化程序设计的概念与标准结构
　　3.1.2 结构化程序设计的判别
　　3.1.3 结构化程序设计的步骤与原理
　　3.2 逐步求精的方法
　　3.3 改进的N-S图
　　3.4 非结构化程序到结构化程序的转化
　　3.4.1 非结构化程序转化为结构化程序的一般方法
　　3.4.2 非结构化程序转化为结构化程序的实例
　　小结
　　第4章 面向对象程序设计方法
　　4.1 面向对象程序设计的基本思想
　　4.1.1 面向对象程序设计的概述
　　4.1.2 面向对象方法的理论基础
　　4.1.3 面向对象程序设计的方法与步骤
　　4.2 面向对象程序设计中的继承机制
　　4.3 面向对象程序设计中的多态性
　　4.3.1 多态性的实现方式
　　4.3.2 多态性在程序设计中的应用
　　4.4 面向对象程序设计方法的软件模式
　　4.4.1 代码模式
　　4.4.2 设计模式
　　4.4.3 架构模式
　　4.5 面向对象方法与结构化方法的比较
　　4.6 面向对象技术的未来发展
　　小结
　　第5章 组件化程序设计方法
　　5.1 组件化程序设计的基本思想
　　5.1.1 组件化程序的标准
　　5.1.2 组件技术与面向对象技术的比较
　　5.1.3 组件化程序的开发方法
　　5.2 CORBA组件模型
　　5.2.1 CORBA的相关概念
　　5.2.2 CORBA中面向对象分析的方法与JavaIDL程序实例
　　5.2.3 CORBA技术的新发展
　　5.3 COM组件对象模型
　　5.3.1 COM的相关概念
　　5.3.2 COM组件开发方法与程序实例
　　5.3.3 DCOM与COM4＋技术
　　5.4 EJB组件模型
　　5.4.1 EJB的相关概念
　　5.4.2 EJB组件的开发方法和程序实例
　　5.4.3 EJB和其他技术的比较
　　5.5 组件技术与软件体系结构
　　小结
　　第6章 递归程序设计方法
　　6.1 递归程序设计的基本思想
　　6.1.1 递归算法的分析与设计方法
　　6.1.2 递归程序的公式化方法与程序实例
　　6.1.3 递归方法的应用领域
　　6.2 递归方法与树型结构
　　6.3 递归方法与栈结构
　　6.4 递归算法到非递归算法的变换
　　小结
　　第7章 嵌入式程序设计方法
　　7.1 嵌入式程序设计的基本思想
　　7.1.1 嵌入式系统的定义与特点
　　7.1.2 嵌入式程序设计的关键技术和方法
　　7.2 嵌入式实时操作系统分析
　　7.3 嵌入式C／C++语言程序设计方法
　　7.3.1 嵌入式C语言程序设计方法
　　7.3.2 嵌入式C++语言程序设计方法
　　7.4 嵌入式JavaME程序设计方法
　　7.4.1 嵌入式JavaME概述
　　7.4.2 同JavaWirelessToolkit进行无线设备程序设计
　　小结
　　第8章 面向Agent的程序设计方法
　　8.1 关于Agent
　　8.2 面向Agent程序设计的产生背景
　　8.2.1 应用需求的变化
　　8.2.2 用户期望的变化
　　8.3 面向Agent方法与面向对象方法的对比
　　8.4 面向Agent程序设计的逻辑基础
　　8.4.1 可能世界语义
　　8.4.2 模态句子逻辑
　　8.4.3 BDI逻辑语法和语义
　　8.4.4 关于模态词BEL、GOAL和INTTEND的公理体系
　　8.5 Agent编程语言
　　8.5.1 逻辑程序设计
　　8.5.2 AgentO语言
　　8.5.3 AgentSpeak语言
　　8.6 JACK开发环境
　　8.6.1 JACK框架简介
　　8.6.2 JACK开发实例
　　8.7 JADE框架
　　8.7.1 JADE架构
　　8.7.2 JADE中Agent生命周期
　　8.7.3 JADE开发实例
　　小结
　　第三部分 优化篇
　　第9章 程序计算复杂度的分析方法
　　9.1 程序结构复杂度的分析
　　9.1.1 程序结构复杂度的度量与建模
　　9.1.2 结构复杂度度量的自动实现
　　9.2 程序嵌套结构复杂度的分析
　　9.3 递归函数时间复杂度的分析
　　9.3.1 渐进算法分析
　　9.3.2 递归函数的分析方法
　　9.4 简化法则对程序算法时间复杂度的估算
　　小结
　　第10章 程序设计优化的方法
　　10.1 程序优化的内容与基本方法
　　10.1.1 程序优化的内容与原则
　　10.1.2 程序结构优化的基本方法
　　10.1.3 程序代码优化的基本方法
　　10.2 算法剖析与程序优化
　　10.3 常用高级程序语言的优化
　　10.3.1 C程序的常用优化方法
　　10.3.2 C++程序的常用优化方法
　　10.3.3 Java程序性能的优化方法
　　10.3.4 ASP程序性能的优化方法
　　10.3.5 Prolog逻辑程序的优化方法
　　10.4 32位汇编指令的常用优化方法
　　小结
　　主要英文缩写索引
　　参考文献

　　    覃征，清华大学信息学院、软件学院教授，计算机科学与技术系博士生导师；西安交通大学计算机写技术系教授、博士生导师；赴美高级访问学者。担任清华大学软件工程与管理研究所所长、西安交通大学电子商务研究所所长等职，兼任国家科技奖励评审专家、教育部科技奖励评审专家组评委。主要研究方向为数据融合、软件项目管理、电子政务、电子商务等。作为第一完成人，先后获国家教育部科技进步一等奖1项、二等奖3项、军队科技进步奖3项、省级科技进步奖1项。在国内外重要期刊和会议发表论文数十篇，出版著作多部。已指导博士后、博士生、硕士生数十人。

　　    《程序设计方法与优化（第2版）》系统讲述了计算机程序设计的基本概念、基本方法和常用程序语言的优化设计思想，用大量的程序实例说明了常用程序设计方法的实际应用和编程技巧。全书分10章，以三个部分介绍了程序设计的基础知识、基本方法及其优化方法。第一部分概要介绍了程序设计方法的发展、程序设计的一般方法和表示方法，并描述了算法的概念和图灵机模型；第二部分结合具体程序实例详细讲述了结构化程序设计方法、面向对象程序设计方法、组件化程序设计方法、递归程序设计方法、嵌入式程序设计方法和面向Agent的程序设计方法；第三部分介绍了程序计算复杂度的分析方法，对程序设计进行了定量的表示，并举例说明了C/C++程序、Java程序、ASP程序、Prolog逻辑程序、32位汇编指令常用的优化内容、原则与方法。
　　    《程序设计方法与优化（第2版）》可作为高等院校程序设计方法课程的教科书，也可以作为从事计算机程序设计的研究人员和从事软件系统设计、开发及应用工作的相关技术人员的参考书。