摘要：
OO Unit4 & Final OO课程完结撒花 一、三次作业架构设计 1.层次化架构与数据存储 UML单元的三次作业，是完全的迭代开发过程。完成了对于UML类图，状态图与顺序图的解析，并且能够进行部分的规格检查。我采取了层次化存储处理的方式。在后两次作业中，我在MyUmlGeneralInter 阅读全文
摘要：
OO第三单元总结 一、JML语言总结 JML语言是一种形式化的，面向JAVA语言行为的规格语言，可以描述JAVA程序的数据，方法，类的规格，对其行为进行抽象与限制，体现了契约式编程的思想。主要包含了对于数据规格抽象和方法规格抽象以及综合的类规格抽象。 1.方法规格 前置条件： 后置条件： 副作用：需 阅读全文
摘要：
OO第二单元总结 一、前言 第二单元完成了三次可稍带多线程电梯的设计，功能需求逐次扩展。经历了第一单元三次作业三次重构的我，终于在第二单元的三次作业中体会到了迭代开发的快乐~~（不用重构每周代码量少了好多）~~。纵观三次作业，第一次作业的架构的选择起到了相当重要的作用。同时也经历了随着需求的提升，代 阅读全文
摘要：
OO第一单元总结 一、前言 第一单元的主要内容为 表达式求导 ，从作业题目设计上，三次作业是迭代增强的关系。但是由于之前没有接触过 可拓展 的面向对象程序。导致三次作业三次重构。前两次作业都仅仅从实现本次作业功能出发，没有过多的考虑扩展的问题。经过三次OO作业的打磨，逐渐在程序中添加了更多的面向对象 阅读全文