摘要：
第四单元架构设计 由于需求基本上都是查询操作，故把重点放在UmlElement的处理上，并尽量实现初始化时就完成需查询量的存储，减少查询时的复杂度。具体来说，就是实现一个Manager类来完成初始化操作，并新建一系列UmlXXX类来满足需求。 三次作业基本实现了迭代开发，对于新增元素，只需在Mana 阅读全文
摘要：
JML语言的理论基础、应用工具链情况 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。可以通过开展规格化设计，而给代码实现者以明确、严谨的设计需求；也可以针对已有的代码给出规格，以提高代码的维护性。 结合Junit、OpenJML、SMT So 阅读全文
摘要：
第五次作业 第五次作业作为多线程的初见，给我带来了不少心理压力。在动手Coding前反复阅读了多线程教程，选择采用了较为简单的生产-消费者模式、Java中自带的线程安全容器等。至于调度策略，则采用了比较常见的Look算法。 程序结构分析 UML图 采用生产者-消费者模式，由InputThread读取 阅读全文
摘要：
第一次作业 程序结构分析 第一次的作业总体来说比较简单，既然不用判断WrongFormat，就只需把多项式拆分为项存在容器中就可以了，这里我采用了Hashmap<指数，项>的方式来存储。 问题比较明显的地方是类和方法的耦合度过高。导致这样的原因主要有：没有为多项式构造单独的类（解析类等），使多项式的 阅读全文