随笔分类 - [软件构造]
软件构造课程期间写的博客。
摘要：[软件构造] 9 Construction for Reuse Polymorphism in Java Polymorphism in Java - GeeksforGeeks Runtime polymorphism The word polymorphism means having many
阅读全文
摘要：[软件构造] 8 Equality in ADT and OOP 1 Equivalence Relation 没什么好写的，自反对称传递-等价。 2 Equality of Immutable Types f: R->A 建立了ADT的某个实例与它所对应的抽象类型的关系，f即为AF a equal
阅读全文
摘要：[软件构造] 7 OOP 目标：将ADT的接口从实现分离出来，使用 Java 接口类型来强制这种分离。 用接口定义ADT，写实现接口的类。 用OOP/接口/类 实现ADT 大纲： OOP的基本概念：object, class, attribute, method, interface, enumer
阅读全文
摘要：软件构造 5 Designing Specification设计规约 方法的规约 前置、后置条件 欠定规约、非确定规约 陈述式、操作式规约 规约specification的强度及其比较 如何写出好的规约 Reading § MIT 6.031：06、07 § CMU 17-214：Sep 05 1
阅读全文
摘要：reading 2: basic typescript http://web.mit.edu/6.031/www/fa21/classes/02-basic-typescript/ 快照图，同一语句有多种详细程度的表现形式，根据要求灵活选择。 双圈箭头表示此变量是const, 双圈对象表示此对象是i
阅读全文
摘要：java数据 基本数据类型（Primitives） 对象数据类型（Object Reference Types） 没有引用，只有值 引用与对应的值不相同 不可变 有的可变，有的不可变 保存在栈中，被使用的时候才存在 保存在堆中，会被垃圾回收机制回收 使用成本低 成本高 基本数据类型（Primitiv
阅读全文
摘要：1 Multi-dimensional software views 软件在计算机中的地位：下面这张图非常重要：这就是多维软件视图，下面将围绕这张图进行分析。首先先总括一下：Moment表示的是特定时刻软件的状态、Period表示的是软件状态随时间的变化。Build-time表示的是程序开发时，Ru
阅读全文
摘要：[软件构造] Git 提交本地java工程到GitHub仓库 方法一 eclipse 自带插件 1.1 新建本地工程 为演示，新建一个工程文件TestGitUseEclipse，在src目录下新建HelloWorld的一个.java文件，在此类中调用main函数打印"Hello World!"字样。
阅读全文
