摘要：
第四单元总结 这一单元要求我们编写程序来解析UML类图、顺序图和状态图，在这个过程中深化对UML图的理解，对其中的各个组件更加熟悉。经过这个单元的训练，深化了我们对类图、顺序图和状态图等的理解。 第一次作业 这一单元主要是解析UML类图，并用代码来解析他们，并且根据要求来计算一些统计信息。形式上来说 阅读全文
摘要：
理论基础 这个单元主要介绍了JML语言，可以用来规范java设计中的类和接口。形式上来说，它可以作为注释被添加到java代码中，让我们明确每个函数和类的一些行为特征和特性。我们可以在设计一个类和方法的时候，先不考虑具体的实现以及涉及到的数据结构等，而是只考虑它的功能，这样一来，我们就可以在设计的时候 阅读全文
摘要：
oo第二单元作业的作业围绕电梯调度的问题进行，从单部电梯傻瓜调度、单部电梯捎带式调度、多部电梯多线程逐渐深入。下面是第二单元作业的总结。 一、单部多线程傻瓜调度（FAFS）电梯的模拟 1、作业内容和思路 第一次作业帮助我们入门多线程编程，熟悉多线程的使用。设计上也非常简单，主要是通过主线程调用输入模 阅读全文
摘要：
oo第一单元的作业主要围绕表达式的匹配、处理和输出进行，三次作业对因子的定义逐渐细化，从开始的只包含幂次方和常数项、第二次的包含三角函数、到第三次包含嵌套结构。下面对三次作业的情况分别进行总结。 一、第一次作业 1、作业内容和思路 第一次作业考察的是最简单的多项式求导，只包含常数项和幂次方，性能上要 阅读全文