2021年6月1日
OO课程第三单元总结
摘要： 本单元的三次作业，围绕JML规格的主题展开。如果能够耐着性子将每个函数给出的JML规格通读一遍，就能够较为轻松地写出大致正确的代码。本单元不仅在总体难度上较前两个单元更加简单，而且没有性能分的限制，因此可以说是十分友好的一个单元。 设计策略分析 第一次作业 在该次作业中，我们所需要实现的大部分函数都 阅读全文
posted @ 2021-06-01 21:03 Synotp 阅读(62) 评论(0) 推荐(0)