- 博客(7)
- 资源 (2)
- 收藏
- 关注
RSS订阅原创 软件构造Chapter6 Review
0.Outline 第六章为Abstract Data Type，主要介绍抽象数据类型的基本概念、操作的类型、表示独立性与表示泄露、表示不变量RI、表示空间与抽象空间、抽象函数AF，以及如何在注释中写明RI、AF1.ADT概述对于ADT我们并不陌生，从数据结构开始就有了关于ADT的种种说法。ADT作为面向对象的一个重要概念，与面向过程中数据与操作混合的思路相区别，我们可以说ADT是数据和操作的封装。但事实上，ADT的作用更在于将顶层功能与底层实现分离。...
2021-07-01 21:04:15
278
原创 软件构造 Chapter5 Review
第五章主要介绍了规约（specification）的概念、基本结构以及规约强度的比较和行为等价性。博客写的不咋地哈，不过要是相当个故事看看也是挺有意思的，还有就是如果你想复习马原也可以看看，里面会有很多原理的。1.规约1.1 规约的概念及意义 规约是写在函数（方法）前的注释，主要确定了一个方法输入的合法范围及在该合法范围内方法的行为，并且对该方法的适用范围和功能进行一定的描述。 规约给“供需双方”都确定了责任，在调用的时候双方都要遵守，使得程序与...
2021-06-30 13:13:49
231
原创 软件构造 Chapter1 and Chapter2 Review
0.Outline1.软件构造的多维度视图 主要有三个维度对软件进行评估： ①按阶段划分：构造时/运行时视图 ②按动态性划分：时刻/阶段（形态）视图 ③按构造对象的层次划分：代码（逻辑）/构件（物理）视图2.阶段划分、各阶段活动 时刻 阶段 代码 构件...
2021-06-29 23:34:25
203
原创 软件构造 Chapter4 Review
0.Outline软件构造第四章Data Type and Type Checking主要涉及以下几部分内容：①基本数据类型、对象数据类型②静态/动态类型检查③Mutable/Immutable ④Snapshot diagram1.基本数据类型/对象数据类型 Java中的数据类型包括基本数据类型和对象数据类型两种，其中对象数...
2021-06-29 23:19:19
158
原创 哈工大软件构造lab2
2021年春季学期计算学部《软件构造》课程Lab 2实验报告 姓名 许家辉 学号 1190202428 班号 1903005 电子邮件 1190202428@stu.hit.edu.cn 手机号码 18846336890 ...
2021-06-20 19:48:56
1016
3
原创 哈工大软件构造Lab1实验报告
2020年春季学期计算机学院《软件构造》课程Lab 1实验报告 姓名 许家辉 学号 1190202428 班号 1903005 电子邮件 1190202428@stu.hit.edu.cn 手机号码 18846336890...
2021-06-20 19:42:46
483
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人