摘要：本单元的三次作业，围绕UML的主题展开。平心而论，我本单元的作业从代码风格到架构上都有很大的缺陷与问题。一方面，我个人对于UML语言的理解较为粗浅，对其中各元素之间的关系、作用等都没有深入学习过，对于后续迭代开发的方向也不太清楚；另一方面，本单元作业贯穿了期末的考期，时间与精力上都有些不足，且本单元 阅读全文

摘要：本单元的三次作业，围绕JML规格的主题展开。如果能够耐着性子将每个函数给出的JML规格通读一遍，就能够较为轻松地写出大致正确的代码。本单元不仅在总体难度上较前两个单元更加简单，而且没有性能分的限制，因此可以说是十分友好的一个单元。 设计策略分析 第一次作业 在该次作业中，我们所需要实现的大部分函数都 阅读全文