- 博客(4)
- 收藏
- 关注
RSS订阅原创 3.4面向对象的编程
课程目标用oop、接口、类实现ADT上一节学习了ADT理论，本节学习ADT的具体实现技术：OOP 大纲面向对象的标准OOP的基本概念OOP的不同特性：3.封装与信息隐藏继承与重写多态、子类型、重载静态与动态分派Java中一些重要的对象方法设计好的类OOP的历史总结 3.4.1面对对象的标准【泛型】对于“随时准备更变”和“设计/重用”：应该可以使用任意类型的参数来编写类【继承】：应该可以定义一个类继...
2018-06-23 23:21:15
196
原创 3.3抽象数据类型
课程目标抽象数据类型与表示独立性： 如何设计良好的抽象数据结构，通过封装来避免客户端获取数据的内部表示（即“表示泄露”），避免潜在的bug—— 在client 和implementer之间建立“防火墙”。ADT 的特性：不变量、表示泄漏、抽象函数AF 、表示不变量RI基于数学的形式对ADT 的这些核心特征进行描述并应用于设计中。 大纲1.抽象和用户定义的数据类型2. ADT中的操作类3.抽象数据类...
2018-06-23 23:18:43
812
原创 3.2设计规约
课程目的方法的规约前置/后置条件确定规约，非确定规约陈诉式、操作式规约规约的强度及其比较如何写出好的规约大纲1.编程语言中的函数/方法2.编程信息3.设计规约4.总结 3.2.1.编程语言中的函数/方法方法——“方法”是程序的“积木”，可以被独立开发、测试、复用。使用“方法”的客户端，无需了解方法内部具体如何工作--“抽象”参数——参数类型是否匹配，在静态类型检查阶段完成返回值——返回值类型是否匹...
2018-06-23 23:12:14
318
原创 3.1数据类型和类型检查
3.1数据类型和类型检查课程目的1.了解数据类型和静态/动态类型检查2.可变/不可变的数据类型3.可变数据类型的危险性4.不变数据类型的优越性5.用Snapshot图理解数据类型6.使用数组和集合来处理复杂的数据类型7.了解空引用的危害并避免它大纲1.编程语言中的数据类型2.静态与动态数据类型3.类型检查4.易变性和不变性5.快照图6.复杂的数据类型：数组和集合7.有用的不可变类型8.空引用9.总...
2018-06-23 23:07:37
463
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人