摘要：
一、第四单元作业架构设计 1. 第一次作业 第一次作业的需求是对类图进行分析，在类图中最顶层的模块就是类和接口，接着有下属的属性、方法，方法有下属的参数。关系是类与类之间的继承关系，类与接口之间的实现关系。 基于这种分析，我建立了对应的类，定义MyUmlClass存储其父类、属性、实现的接口、方法； 阅读全文
摘要：
一、JML简介及工具链 JML是一种进行详细设计的符号语言，他鼓励你用一种全新的方式来看待Java的类和方法。 JML综合了Eiffel，Larch两者的优点，为Java提供了一个专门设计行为的接口语言。JML用来描述方法模块的动作行为，基于数学模型，其比自然语言更加精确。 JML编译器jmlc可以 阅读全文
摘要：
一、度量分析程序结构 1. UML类图分析 1.1 第一次作业UML类图 1.2 第二次作业UML类图 1.3 第三次作业UML类图 1.4 分析结构 在多线程的第二单元里，我三次作业代码的代码结构前两次十分相似，最后一次有了一些进步，在电梯内部声明定义了一个控制模块用来和容器交互。我觉得我对于多线 阅读全文
摘要：
一、度量分析程序结构 1. UML类图分析 1.1 第一次作业UML类图 1.2 第二次作业UML类图 1.3 第三次作业UML类图 1.4 分析结构 在面向对象的第一单元里，我三次作业的代码结构在不断进步。从一开始的Main+多项式+项，再到之后加入InputHandler类，加入三角函数类。我觉 阅读全文