摘要：
面向对象第四单元作业 第四单元作业总结 第四单元两次作业主要实现了一个UML解析器，第一次作业仅仅要求解析类图，第二次作业要求在第一次作业的基础上完成对顺序图和状态图的解析，同时完成三个有效性检查。 对类图检查部分整体比较简单，难点在于查询一个类的成员属性，实现接口，关联的类等时需要考虑类的继承关系 阅读全文
摘要：
面向对象第三次作业总结博客 JML语言理论与应用梳理 Java建模语言（Java Modeling Language，JML）是一种进行详细设计的符号语言。这种语言增加了一些符号用以标识一个方法是用来干什么的，其关注的内容在于方法的效果，而不在乎方法的具体实现。这样，使用JML语言就可以预先设计好方 阅读全文
摘要：
OO第二单元作业总结性博客 架构与设计 在三次作业中，我主要是对现实世界的电梯情况进行了模拟，将人上电梯的过程分了三个行为主体，分别是人、电梯、和调度器。 人 人不关心电梯怎么调度，人只管电梯开门时进出，另外在本次作业中人需要自己决定是否转乘以及在第几层转乘。 电梯 电梯不关心怎样接人效率高、不关心 阅读全文
摘要：
面向对象第一单元作业总结 作业概述 面向对象第一单元共计三次作业，内容为多项式求导，第一次实现了带系数幂函数的多项式求导，第二次在第一次基础上增加了三角函数以及带指数三家函数的求导（三角函数不允许嵌套），第三次则在第二次基础上实现了允许多重嵌套的求导，主要考查点包括格式判断、架构建立、输出优化等。 阅读全文