摘要：
架构设计 第一次作业 1. 需求分析 这次作业是针对类中的一些元素，如属性，操作，继承，实现等查询，所以这次的架构我们的第一感觉，按照正常的结构在类中存属性操作，继承的父类和实现的接口等。 2. 具体功能 为了实现这次功能，我大致把这次作业分为了这样几个部分。 首先是初始化，如何在构造函数中，把Um 阅读全文
摘要：
JML梳理 1. JM语法一般结构 几个常用关键词： \forall \exist \result \old 其中，有几点注意： jml中描述的数据结构，仅仅作为jml的描述，作用，并不限制具体过程中所使用的数据结构。 不变式和约束是在全局应该保持为真的。 更具体的jml语法和关键词的作用可以在官网 阅读全文
摘要：
对于锁的理解 对于这一单元来说，多线程可能会导致的线程不安全的问题，我认为有很大一部分原因是对锁的不够充分理解造成的，下面是我对锁的一些理解。 无论是在os还是在oo的学习过程中，我们知道，任何一个 对象 （lock）都可以作为一个锁，通过这个锁来实现临界资源的互斥，所以理所当然，每一个对象也就实现 阅读全文
摘要：
前言：由于对面向对象思想认识的不够深刻，所以这一单元的作业写的是非常不oo的，从代码结构来看，结构也显得有些混乱，，没有一个清晰的设计。 作业分析 第一次作业 反思 1. 输入 对于三次的作业其实大部分的难点就是在判断输入的合法性上，对于第一次作用来说，最初的想法还是用一整个正则表达式来判断输入，但 阅读全文