摘要： OO课程学期总结 第四单元作业总结 第一次作业 作业分析 第一次作业基于类图的查询，为了更多的尝试，我并没有采用建立图（这在第二次作业中很致命）。将类、接口、方法、属性、参数分别建立类。基本上相当于将类还原出来。但是有些类之间的信息交互做的很差。导致在MyUmlInteraction 类中引入了较多 阅读全文

摘要： JML语言理论基础 JML理论基础 Java 建模语言(JML)将注释添加到 Java 代码中，这样我们就可以确定方法所执行的内容，而不必说明它们如何做到这一点。有了 JML，我们就可以描述方法预期的功能，无需考虑实现。通过这种方法，JML 将延迟过程设想的面向对象原则扩展到了方法设计阶段。JML 阅读全文

摘要： 面向对象的程序设计(2019)第二单元总结 对问题的初体验 oo第二单元便开始进入多进程，和第一单元相比，个人感觉电梯显然更考查我们面向对象思想以及怎样写出清晰简单的建构。在正确性之上还考验我们进一步优化的能力（虽然我每次的优化好像都是负优化，哭了）。多线程的自测也是一大难题，我用java的proc 阅读全文

摘要： 第一次作业 （1）基于度量分析程序 （2）方法复杂度分析 2.第一次作业总结 （1）自己的bug：第一次的作业测试自己感觉还是已经做得很不错了（虽然强测爆了）。最后一天晚上还静态的看了一遍自己的代码。尽可能多地推理可能的情况，堵上了很多考虑不周的地方。WF的问题已经考虑得很好了。第一次互测我被找出了 阅读全文