摘要：
一、总结本单元两次作业的架构设计 1.第一次作业 ①建立一个CheckElements类对不同的Elements进行分类管理，将它们直接储存（数据没有顺序性所以无法直接构成）：我认为是叶类型（就是没有会属于它的属性的Element）直接储存，我认为不是叶类型的Element建立新的类储存。 ②从我认 阅读全文
摘要：
一、JML理论基础及应用工具链 JML存在的意义 1. 开展规格化设计，能够实现设计与实现分离，实现进行提前测试。 2. 方便程序代码的阅读和维护。 JML方法规格 requires —— pre-condition assignable —— side-effects，列出这个方法能够修改的类成员 阅读全文
摘要：
前言 oo课已经进行了八周，学习了多线程相关的知识，也终于亲自体验了传闻中的“电梯”编写。 在进行课程学习的总结之前，我想先对自己学习课程时的心情与态度做一次反省与总结。 其实一直到现在，在oo的学习过程中还是处于一种比较被动的状态，把作业都当作是任务去完成，交完作业过了中测就结束了，不会再去改进自 阅读全文
摘要：
程序结构分析 1.第一次作业 可以看出第一次作业基本就是面向过程来做的。 只有一个多项式类，类中存了每个单项式的系数和指数。 所有的单项式分离工作全都由多项式类的构造方法完成，导致了构造方法的复杂度非常高。 而changeToString方法由于只有这一个类有处理功能，所以写了所有可能的情况，复杂度 阅读全文