![](https://img-blog.csdnimg.cn/20201014180756930.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
哈工大
文章平均质量分 87
一只聪明熊
这个作者很懒,什么都没留下…
展开
-
软件构造Chapter6 Review
0.Outline 第六章为Abstract Data Type,主要介绍抽象数据类型的基本概念、操作的类型、表示独立性与表示泄露、表示不变量RI、表示空间与抽象空间、抽象函数AF,以及如何在注释中写明RI、AF 1.ADT概述 对于ADT我们并不陌生,从数据结构开始就有了关于ADT的种种说法。ADT作为面向对象的一个重要概念,与面向过程中数据与操作混合的思路相区别,我们可以说ADT是数据和操作的封装。但事实上,ADT的作用更在于将顶层功能与底层实现分离。 ...原创 2021-07-01 21:04:15 · 207 阅读 · 0 评论 -
软件构造 Chapter5 Review
第五章主要介绍了规约(specification)的概念、基本结构以及规约强度的比较和行为等价性。博客写的不咋地哈,不过要是相当个故事看看也是挺有意思的,还有就是如果你想复习马原也可以看看,里面会有很多原理的。 1.规约 1.1 规约的概念及意义 规约是写在函数(方法)前的注释,主要确定了一个方法输入的合法范围及在该合法范围内方法的行为,并且对该方法的适用范围和功能进行一定的描述。 规约给“供需双方”都确定了责任,在调用的时候双方都要遵守,使得程序与...原创 2021-06-30 13:13:49 · 128 阅读 · 0 评论 -
软件构造 Chapter1 and Chapter2 Review
0.Outline 1.软件构造的多维度视图 主要有三个维度对软件进行评估: ①按阶段划分:构造时/运行时视图 ②按动态性划分:时刻/阶段(形态)视图 ③按构造对象的层次划分:代码(逻辑)/构件(物理)视图 2.阶段划分、各阶段活动 时刻 阶段 代码 构件 ...原创 2021-06-29 23:34:25 · 142 阅读 · 0 评论 -
软件构造 Chapter4 Review
0.Outline 软件构造第四章Data Type and Type Checking主要涉及以下几部分内容: ①基本数据类型、对象数据类型 ②静态/动态类型检查 ③Mutable/Immutable ④Snapshot diagram 1.基本数据类型/对象数据类型 Java中的数据类型包括基本数据类型和对象数据类型两种,其中对象数...原创 2021-06-29 23:19:19 · 95 阅读 · 0 评论