林天晟

摘要： OO第四单元总结 第四单元架构设计 第一次作业 UML类图 这次作业直接按照实际的需要进行设计即可，最大的问题便在于如何处理数据的问题。 MyUmlInteraction最为关键的是构造方法：首先处理UmlClass和UmlInterface、其次继续处理UmlGeneralization和UmlI 阅读全文

摘要： 一、概述 第三单元针对JML进行规格设计，非常贴合根据用户需求实现设计这一过程。整体上来看，个人认为所谓“第三单元远没有一二单元复杂”只不过是一面虚词。从思考难度上来说，第一单元对于嵌套和WF的处理实在令人朝思夕计；从理解上，第二单元的实现有点难以下手；第三单元在这两个方面都降低了难度，似乎只要根据 阅读全文

摘要： OO第二单元总结 一、概述 OO第二单元、三次作业眼看着就结束了，还想再来一遍。 本单元的重心在于对于多线程的编写和应用，以及对于多线程中的三种语法：wait()，notifyAll()，sychronized(lock)的使用；同时考察了一定的设计策略（不限于观察者模式和单例模式），本单元均采用生 阅读全文

摘要： 一、概述 本博客全部内容是根据三次作业的设计进行的总结，是博主的真实设计经历： 第一次作业：由于只存在幂函数和常数形式，因此直接构建Term类，一个main函数就可以了。 第二次作业：采用变量替换、表达式树形式完成设计（重构） 第三次作业：继承第二次作业的表达式树，定义新运算；然后暴力破解WF（没有 阅读全文