摘要：
BUAA OO Unit4——UML解析 & 课程总结 本单元为解析UML文件，而UML在之前的单元一直是作为一个画图的文件，但其若是一个语言，自然有属于自己的语法，自己的范式，本单元就是从UML语言出发，结合其规范，对UML进行解析，本质就是解析文本文件提取需要的信息 Unit4 架构设计 ~~这 阅读全文
摘要：
第三单元总结--基于JML规格的社交系统 初识JML语言 JML (Java Modeling Language)，Java 建模语言，个人感觉，它的出现可以用类似数学语言的形式，明确所需的要求(即规格)，因此JML的重要作用就在于消除自然语言的二义性。它利用前置条件，后值条件、副作用范围限定来对一 阅读全文
摘要：
第二单元博客作业——电梯月 第五次作业 这次的作业为多部多线程ALS电梯，每个人只能在同一座做纵向运动。但这个多部是一个伪多部。因为它对应的是A-E座的各个电梯，每个电梯之间相互独立，不全在交互，完全等价，就是同一座电梯复制5次罢了。 作业思路 这是第一次接触多线程，在写代码和调试的时候也是遭受到了 阅读全文
摘要：
第一次作业 代码设计 代码架构如下： 可以看到每个类没啥联系，就挺面向过程。 刚开始没啥思路，就打算先按预解析模式写，然后试一试能不能实现预解析的功能。 第一次的表达式比较简单，可以将表达式每一项拆解成系数和指数，可以设置一个HashMap存指数和系数的关系，设置一个HashMap存Id与多项式的关 阅读全文