摘要： 一、前言 随着OO第四次作业的完成，这学期整个OO课程告一段落，在这一学期的课程学习中， 学到了很多，收获了很多，OO这门课程不仅仅是针对我们代码能力的训练，还偏重于我们对所做工作的阶段性总结能力和架构设计上的针对性练习，使得我们在各个方面的能力都有所提升。接下来我将依次对第四单元内容以及课程总体收 阅读全文

摘要： 一、JML语言的理论基础、应用工具链情况 1.JML语言的理论基础 面向对象分析和设计的原则之一就是应当尽可能地推迟过程设想，在实现方法之前确实能够做到，但是确定了架构后就会很容易地将思路转向过程性描述。JML语言的功能正是帮助人们尽可能的避免过程性思考，JML语言将延迟设想的面向对象原则扩展到了方 阅读全文

摘要： 一、第五次作业+第六次作业 1.1设计策略及架构 第五次作业的要求是完成“傻瓜式电梯”的电梯系统。吸取了上一个单元的经验教训，我在设计的时候考虑到了后续作业要求的可能性，我在第一次电梯作业的时候尽可能详细地将整个架构的功能进行分散化，这样有助于以后系统功能的添加与修改。 在第一次作业中，我的主要思路 阅读全文

摘要： 第一次作业 1.作业思路 第一次作业的需求较少，仅仅是针对一元多项式的求导，而且由于是第一次接触类的建立与使用，并且没有考虑到任务的可拓展性，我是按照以前写代码的风格用过程性语言的风格完成的第一次作业。 2.数据结构 针对第一次作业中的提示，我使用的是两个动态数组来管理每个项的系数与幂指数，这样方便 阅读全文