摘要：
OO第四次博客作业 17231129 吴章杰 一、本单元作业的架构设计 第一次作业 本次作业最终需要实现一个UML类图解析器，可以通过输入各种指令来进行类图有关信息的查询。本次作业的程序主干逻辑均已实现，只需要完成对类图中各属性的查询操作。 首先，先分析类图的各个属性之间的关系： （图片来源：htt 阅读全文
摘要：
面向对象第三单元总结 JML基础知识 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规范语言，可用于指定Java模块的行为。通过JML及其支持工具，不仅可以基于规格自动构造测试用例，并整合了SMT Solver等工具以静态 阅读全文
摘要：
面向对象第二单元总结 Elevator 1 本次作业，需要完成的任务为单部多线程傻瓜调度（FAFS）电梯的模拟。 第一次电梯作业，可以简单的抽象成一个生产者-消费者模型，且只有唯一的生产者——乘客请求（InputThread），和唯一的消费者——单部电梯（Elevator）。有了生产者和消费者，我们 阅读全文
摘要：
第一次作业——PO？OO？ 第一次作业的题目是简单幂函数的多项式求导，形如-1 + x ^ 233 - x ^ 06。 根据第一次作业的类图，可见第一次作业的框架非常简单，也非常面向过程。读完第一次作业的指导书之后，便很自然的定义了两个类，一个类是Poly，即多项式类，另一个类是PolyCal，即负 阅读全文