17373033

摘要： 引言 随着OO第四次作业解析uml的完成，一个学期的面向对象学习也落下了帷幕。从第一单元的多项式的求导，到第二单元的电梯，再到第三单元的JML规格的理解与应用，最后到第四单元的解析UML，循序渐进，使我对java面向对象的的认识更加透彻理解更加深刻。这门课程从课上老师讲解，到上机实验和分享经验每星期 阅读全文

摘要： 一、JML语言 JML是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言，基于Larch方法构建。 可以用来为严格的程序设计提供一套有效的方法。通过JML及其支持工具，不仅可以更加精确地描述代码所完成的任务，还可基于规格自动构造测试用例，有效地发现和纠正错误，还整合了SM 阅读全文

摘要： 一、设计策略 三次作业中，由于前两次作业都只有一部电梯，因此我的线程只有两个，一个等待队列输入进程，以及一个电梯运行进程。等待队列输入进程实现十分简单，只需要根据输入把request添加到等待队列即可。第一次作业电梯线程是傻瓜调度（FAFS）电梯，实现极为简单，只需从等待队列拿出一人，电梯将其带到指 阅读全文

摘要： 引言 四周过去了，oo课程的第一阶段作业也算告一段落。在第一单元的内容中，主题是始终如一的多项式求导，但三次作业要求完善的求导功能一次比一次丰富，难度也逐渐增加，也是费了不少心思。接下来就回顾与小结一下这三次作业，分析一下程序结构、遇到的bug以及总结这第一单元作业给我的感受。 第一次作业（关于幂函 阅读全文