摘要：
课程总结博客 OO课圆满结束，完结撒花！ 第四单元三次作业的架构设计 这两次作业我都采用了装饰者模式。原本的类功能比较单一，基本只支持对自己这个一个UmlElement的属性的查询，但是对各种对象之间的关系没有规定。于是我为每一个需要对其属性/方法/关系进行查询的UmlElement都创造了相应的M 阅读全文
摘要：
第三单元总结 一、JML语言梳理 JML基础知识 JML语言是一种用于撰写Java程序规格的语言，JML通过大量描述行为的结构，规范了方法与类在实现时对于数据的处理。用JML书写的规格逻辑严谨，消除了用自然语言书写时产生的歧义，这也为开展自动化测试创造了条件。 在我看来，JML主要可以用于以下三个方 阅读全文
摘要：
第二单元总结博客 多线程协同和同步控制分析 三次作业我主要实现了生产者 消费者模式，维护了三种线程：主线程、输入线程（生产者）、电梯线程（消费者），调度器与请求队列相结合，输入线程拿到输入后加入请求队列，电梯运行到某一层后，从请求队列中取走请求，而主要的同步控制发生在调度器中，需要把对请求队列的操作 阅读全文
摘要：
OO第一单元总结 一、本人程序分析 对于我的程序，我采用了UML图和DesigniteJava软件进行分析。 homework1 第一次作业整体比较简单，我用Term类来储存项，用Poly类来储存多项式，用Read类来进行读取。第一次作业整体结构也比较简单， 这次作业中我的printTerm方法的圈 阅读全文