摘要：
1. 四单元架构设计 本单元建立一个UML解析器，最主要的工作在于接收到各种UML元素，然后将其组织在恰当的数据结构中，之后再基于此数据结构进行各种查找。 如图是我最后一次作业的代码目录，对不同的UML元素进行不同的封装，从而实现有效的管理。 类图 类图可以分为三个层次，由于不同层次间存在不同的关联 阅读全文
摘要：
1. JML基础总结 变量规格 静态规格变量：//@public static model non_null int []elements 实例规格变量： //@public instance model non_null int []elements 方法规格 normal_behavior 前置 阅读全文
摘要：
一、前言 本单元主要是通过电梯系统来训练多线程的相关应用。个人认为在难度跨度上没有第一单元那么大，但是debug的难度大大增加，对于加锁部分也更需要逻辑清晰、结构合理。本人第一次借鉴实验课的架构，把个人认为多余的调度器删除，之后在架构上都没有太大的改动，主要是增加各种“补丁“。但是综合来看思路还是不 阅读全文
摘要：
一、前言 本单元主要是表达式的拆分和化简。个人认为相比于pre有很大的难度提升，特别是第一周，一开始就涉及到不小的工程量，在还没有熟悉java的情况下有不小的难度。第二周和第三周难度跨度略微下降。本人在第一周就看来许多往届学长的博客，重构了两次，选取了一个较为合理的构架，使得在之后两周后能够进行“” 阅读全文