摘要：
本单元两次作业架构总结 第一次作业 第一次作业是完成对UML类图的解析，以及一些查询操作。在本次作业中，根据UML类图层次结构，我分别设立了三个类用于存储UML类图，一个类用于存储查询操作函数。 三个数据类分别为MyUmlClass类、MyUmlInterface类和MyUmlOperation类， 阅读全文
摘要：
JML语言的理论基础、应用工具链 前言 JML是用于对java程序进行规格化设计的一种表示语言。通过JML及其支持工具，不仅可以基于规格自动构造测试用例，而且能够以静态方式来检查代码实现对规格的满足情况。 理论基础 注释结构 通过使用javadoc注释的形式表示规格，每行以@起头，包括行注释和块注释 阅读全文
摘要：
前言 随着OO第二单元落下帷幕，神奇的电梯调度终于告一段落。相比多项式求导章节，电梯调度问题实现了单线程向多线程的延伸，面向对象编程的优势也逐渐显现。 第五次作业 第五次作业的内容是设计单部多线程傻瓜调度（FAFS）电梯，这次作业还是非常简单的（不需要考虑捎带）。根据分工不同，我一共新建了三个类：M 阅读全文
摘要：
一、作业分析 第一次作业 与后两次作业相比，第一次作业非常简单，仅要求对由常数项和幂函数组成的多项式求导。但由于缺少面向对象编程经验，我在这次作业中栽了不少跟头。 （1）度量分析 在第一次作业中，我还没有适应JAVA语言面向对象的coding风格。可以看到，我的第一次作业只有一个主类One，所有方法 阅读全文