摘要：
OO第四次博客作业 一、总结本单元两次作业的架构设计 （一）第一次UML作业 先po一个类图来从整体角度看一下类的设计： 从类图可以看出来，在类的设计上，我除了Main类以外，额外加入了四个类，其中MyUMLInteraction类还是起到主要的解析作用，然后MyUMLClass、MyUMLInte 阅读全文
摘要：
OO第三次博客作业 一、梳理JML语言的理论基础、应用工具链情况 1、JML语言的理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 1、注释结构 JML以javadoc注释的方式来表示规格，每行都以@起头，一般放在被注释成分的近邻上部 阅读全文
摘要：
OO第二次博客作业 一、分析和总结自己三次作业的设计策略 1、第一次电梯作业 电梯第一次作业是按照课上所发的PPT的架构来的，按照生产者消费者的模式设计，将电梯作为消费者，输入作为生产者，将等候队列作为托盘，这样的架构非常清晰，共享数据就是托盘中的等候队列，所以要加锁的方法就是对该等候队列做一些操作 阅读全文
摘要：
OO第一次博客作业 一、三次作业的bug反省 1、自己发现别人的问题 （1）输入处理的问题，比如第一次作业，主要就是处理输入的字符串，然后有同学的正则表达式有问题，则对于一些错误输入就不能正确判断。 （2）在求导求完之后的合并项的时候出问题，在第二次作业中我发现了两个同学都是在和并项的时候出了问题， 阅读全文