weixin_45875812的博客

0.Outline 第六章为Abstract Data Type，主要介绍抽象数据类型的基本概念、操作的类型、表示独立性与表示泄露、表示不变量RI、表示空间与抽象空间、抽象函数AF，以及如何在注释中写明RI、AF1.ADT概述对于ADT我们并不陌生，从数据结构开始就有了关于ADT的种种说法。ADT作为面向对象的一个重要概念，与面向过程中数据与操作混合的思路相区别，我们可以说ADT是数据和操作的封装。但事实上，ADT的作用更在于将顶层功能与底层实现分离。...

第五章主要介绍了规约（specification）的概念、基本结构以及规约强度的比较和行为等价性。博客写的不咋地哈，不过要是相当个故事看看也是挺有意思的，还有就是如果你想复习马原也可以看看，里面会有很多原理的。1.规约1.1 规约的概念及意义 规约是写在函数（方法）前的注释，主要确定了一个方法输入的合法范围及在该合法范围内方法的行为，并且对该方法的适用范围和功能进行一定的描述。 规约给“供需双方”都确定了责任，在调用的时候双方都要遵守，使得程序与...

0.Outline1.软件构造的多维度视图 主要有三个维度对软件进行评估： ①按阶段划分：构造时/运行时视图 ②按动态性划分：时刻/阶段（形态）视图 ③按构造对象的层次划分：代码（逻辑）/构件（物理）视图2.阶段划分、各阶段活动 时刻 阶段 代码 构件...

0.Outline软件构造第四章Data Type and Type Checking主要涉及以下几部分内容：①基本数据类型、对象数据类型②静态/动态类型检查③Mutable/Immutable ④Snapshot diagram1.基本数据类型/对象数据类型 Java中的数据类型包括基本数据类型和对象数据类型两种，其中对象数...