对于AF、RI、Safety from rep exposure、spec的归纳总结

【对于AF、RI、Safety from rep exposure、spec的归纳总结】的更多相关文章

SC || Chapter 3

┉┉∞ ∞┉┉┉┉∞ ∞┉┉┉∞ ∞┉┉ 基本数据类型 && 对象数据类型基本数据类型(int char long) 在栈中分配内存,不可变对象数据类型(String BigInteger) 在堆中分配内存,有些可变有些不可变 String a = "a"; String b = "a"; System.out.println(a == b); // true String a = "a"; String b = new St…

【软件构造】第三章第三节抽象数据型(ADT)

第三章第三节抽象数据型(ADT) 3-1节研究了“数据类型”及其特性 ; 3-2节研究了方法和操作的“规约”及其特性:在本节中,我们将数据和操作复合起来,构成ADT,学习ADT的核心特征,以及如何设计“好的”ADT. Outline ADT及其四种类型 ADT的基本概念 ADT的四种类型设计一个好的ADT 表示独立性不变量和表示泄露抽象函数AF和表示不变量RI AF与RI 用注释写AF和RI Notes ## ADT及其四种类型 [ADT的基本概念] 抽象数据类型(Abstract Da…

HIT Software Construction Lab 2

2019年春季学期计算机学院<软件构造>课程 Lab 2实验报告姓名刘帅学号班号 1703008 电子邮件 1609192321@qq.com 手机号码目录 1 实验目标概述··· 1 2 实验环境配置··· 1 3 实验过程··· 1 3.1 Poetic Walks· 1 3.1.1 Get the code and prepare Git repository· 1 3.1.2 Problem 1: Test Graph <String>· 1 3.1.3 P…

哈工大软件构造Lab3（2022）

(防扒小助手) 本人CSDN博客: https://blog.csdn.net/m0_61753302 本人博客园博客(同步CSDN): 何以牵尘 - 博客园 (cnblogs.com)https://www.cnblogs.com/kalesky/ 如果对你有用的话欢迎点赞关注哟! 目录 1.实验目标概述 2.实验环境配置 2.1 实验环境 2.2 GitHub Lab3仓库的URL地址 3.实验过程 3.1 待开发的三个应用场景 3.1.1 应用场景 3.1.2 共性需求 3…

哈工大软件构造Lab2（2022）

(防扒小助手) 本人CSDN博客: https://blog.csdn.net/m0_61753302https://blog.csdn.net/m0_61753302本人博客园博客(同步CSDN): https://www.cnblogs.com/kalesky/https://www.cnblogs.com/kalesky/如果对你有用的话欢迎点赞关注哟! 目录 1.实验目标概述 2.实验环境配置 3.实验过程 3.1 Poetic Walks 3.1.1 Get the code and …

Rep Invariant and Abstraction Function

* According to the Reading 13 of MIT 6.005 course In order to finish Lab 2, in which the ps 2 gives instructions about rep invariant and abstract function, I read the reading material released by MIT 6.005. 1. Some Terminology The space of representa…