Can I read 新编程序设计方法学 on EtoBox?

新编程序设计方法学 by 陈海波,王申康编著, 陈海波, 王申康编著, 陈海波, 王申康 is a book available to read on EtoBox.

What is 新编程序设计方法学 about?

1 (p0-1): 1.1 程序设计方法学的产生 1 (p0-2): 第一章 程序设计方法学简介 4 (p0-3): 1.2 程序设计方法学的基本内容 8 (p0-4): 第二章 程序设计方法学的基本理论 8 (p0-5): 2.1 结构化定理 8 (p0-6): 2.1.1 结构化程序 12 (p0-7): 2.1.2 结构化定理 15 (p0-8): 2.2 程序正确性证明 15 (p0-9): 2.2.1 基本概念 16 (p0-10): 2.2.2 部分正确性证明方法 21 (p0-11): 2.2.3 终止性证明方法 23 (p0-12): 2.3.1 基本概念 23 (p0-13): 2.3 抽象数据类型 27 (p0-14): 2.3.2 抽象数据类型的代数规范 33 (p0-15): 2.4 程序设计的形式化方法 33 (p0-16): 2.4.1 形式化方法概述 34 (p0-17): 2.4.2 几种主要的形式化方法 40 (p0-18): 2.4.3 形式化方法的应用——形式推导技术 45 (p0-19): 第三章 结构化程序设计方法学 45 (p0-20): 3.1 结构化程序设计概述 48 (p0-21): 3.2 结构化程序设计 48 (p0-22): 3.2.1 逐步求精 52 (p0-23): 3.2.2 不变式程序设计 55 (p0-24): 4.1 面向对象程序概述 55 (p0-25): 4.1.1 面向对象技术的产生与发展 55 (p0-26): 第四章 面向对象程序设计方法学 58 (p0-27): 4.1.2 面向对象抽象的原理 58 (p0-28): 4.1.3 面向对象计算的模型 60 (p0-29): 4.2 可复用面向对象程序设计的基本原则 60 (p0-30): 4.2.1 开闭原则(OCP) 61 (p0-31): 4.2.2 里氏代换原则(LSP) 62 (p0-32): 4.2.3 依赖倒转原则(DIP) 62 (p0-33): 4.2.4 迪米特法则(LOD) 63 (p0-34): 4.2.5 单责任原则(SRP) 63 (p0-35): 4.3 面向对象程序设计方法学的基本内容 63 (p0-36): 4.3.1 面向对象的抽象 66 (p0-37): 4.3.2 面向对象程序设计的基本过程 70 (p0-38): 4.3.3 应用框架 74 (p0-39): 4.3.4 范型编程 77 (p0-40): 4.4 设计模式 77 (p0-41): 4.4.1 基本概念 78 (p0-42): 4.4.2 创建型模式 97 (p0-43): 4.4.3 结构型模式 108 (p0-44): 4.4.4 行为型模式 120 (p0-45): 4.5 面向对象程序设计实例 127 (p0-46):

Author

陈海波,王申康编著, 陈海波, 王申康编著, 陈海波, 王申康

Publisher

杭州:浙江大学出版社

Published

2006

Language

ZH

ISBN

9787308036542