图书介绍
新编程序设计方法学PDF|Epub|txt|kindle电子书版本网盘下载
- 陈海波，王申康编著 著
- 出版社： 杭州：浙江大学出版社
- ISBN：7308036545
- 出版时间：2006
- 标注页数：136页
- 文件大小：10MB
- 文件页数：141页
- 主题词：程序设计－方法－高等学校－教材
PDF下载
下载说明
新编程序设计方法学PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
1.1 程序设计方法学的产生1
第一章 程序设计方法学简介1
1.2 程序设计方法学的基本内容4
第二章 程序设计方法学的基本理论8
2.1 结构化定理8
2.1.1 结构化程序8
2.1.2 结构化定理12
2.2 程序正确性证明15
2.2.1 基本概念15
2.2.2 部分正确性证明方法16
2.2.3 终止性证明方法21
2.3.1 基本概念23
2.3 抽象数据类型23
2.3.2 抽象数据类型的代数规范27
2.4 程序设计的形式化方法33
2.4.1 形式化方法概述33
2.4.2 几种主要的形式化方法34
2.4.3 形式化方法的应用——形式推导技术40
第三章 结构化程序设计方法学45
3.1 结构化程序设计概述45
3.2 结构化程序设计48
3.2.1 逐步求精48
3.2.2 不变式程序设计52
4.1 面向对象程序概述55
4.1.1 面向对象技术的产生与发展55
第四章 面向对象程序设计方法学55
4.1.2 面向对象抽象的原理58
4.1.3 面向对象计算的模型58
4.2 可复用面向对象程序设计的基本原则60
4.2.1 开闭原则（OCP）60
4.2.2 里氏代换原则（LSP）61
4.2.3 依赖倒转原则（DIP）62
4.2.4 迪米特法则（LOD）62
4.2.5 单责任原则（SRP）63
4.3 面向对象程序设计方法学的基本内容63
4.3.1 面向对象的抽象63
4.3.2 面向对象程序设计的基本过程66
4.3.3 应用框架70
4.3.4 范型编程74
4.4 设计模式77
4.4.1 基本概念77
4.4.2 创建型模式78
4.4.3 结构型模式97
4.4.4 行为型模式108
4.5 面向对象程序设计实例120
第五章 程序设计的优化方法127
5.1 程序设计优化方法概述127
5.2 设计级优化128
5.3 语言级优化131
5.4 指令级优化134
参考文献136