摘要： #第四单元作业的架构设计 本单元的主题是解析UML模型，主要难点是理解UML模型中各个元素的意义、作用，以及元素之间的关系（根据parentId等建立起树形关系）；代码实现方面相对简单，因为文件解析这一难点已经由课程组解决，我们只需要利用现成的信息建立模型即可。 ##第十三次作业 这一次作业的目标是 阅读全文

摘要： #利用JML规格构造自测数据 在第三单元的学习之后，我认为JML语言就是一种十分精密的语言，它可以避免使用自然语言描述代码功能时产生的模糊性、二义性，因此可以成为需求方（甲方爸爸）与实现方（码农）之间一种可靠的交流语言。 此外，JML语言还有描述具体、逻辑性强的特点。对于每一个方法，JML语言明确定 阅读全文

摘要： #线程安全——同步块与锁 在三次作业中，我均选用了synchronized锁。一方面，它实现简单，可自动释放，不容易出bug；另一方面，作业中的读写操作都比较简单，读读、读写、写写均互斥也不会造成太大的性能影响。 ###第五次作业 所有同步块均设置在共享对象类RequestQueue的方法中，所有加 阅读全文

摘要： #前言 第一单元作业的主题是表达式解析计算，主要任务是在去除非必要括号的基础上尽量缩短表达式。从第一次的单层括号表达式化简开始迭代开发，在第二次作业加入求和函数、三角函数与自定义函数，在第三次作业允许三角函数和自定义的嵌套。 本文将从代码的五个主要部分——抽象表达设计、表达式解析、结果运算、优化缩短 阅读全文