摘要：
第四单元作业总结 本单元，我们自学了UML图及其json层次化表示方法。在此基础上，我们完成了对类图、顺序图、状态图的解析以及查询方法，并根据UML规则对输入的数据进行了正确性检验。总体来说，第四单元是对前三单元的综合，既有第三单元式的“类规格”要求，也有一、二单元自主设计程序构架的要求，并让我真正 阅读全文
摘要：
第三单元作业总结 本单元不同之前两个单元，我们不再是按照自己的意愿想怎么写就怎么写，而是必须仔细阅读JML，完成JML中的“规定动作”，保证实现的代码能够到达JML的要求，这就对我们的书写代码时的细致程度、测试强度有了更高的要求。 一、JML基础及工具链 JML基础 JML（Java Modelin 阅读全文
摘要：
设计策略 本单元开始，我们开启了新世界的大门——多线程编程。多线程是一项程序员既爱又恨的机制，爱在多线程的使用可以有效增加CPU的使用效率、加快程序的运行；恨在多线程的引入会带来复杂的进程同步问题，造成难以发觉、甚至难以复现的bug。如何既能享受到多线程带来的程序运行速度上的提升，又能保证程序不出错 阅读全文
摘要：
第一单元作业总结 ·程序结构分析 第一次作业 思路 第一次作业为简单表达式的求导，其因子可分为两类，分别为常数和幂函数。数据的形式十分简单，可以两个用两个BigInterger来表示，所有数据都可归一化为的形式，其中指系数和指数可以通过正则表达式进行提取。由于对面向对象的理解还不够深入，加之数据种类 阅读全文