2021年5月28日
OO-2021-buaa 第三单元
摘要： OO第三单元博客总结 第三单元主要考察对JML的阅读和实现。相对之前的实验来说，较为简单。除了需要仔细阅读JML代码外，还需要注意复杂度的问题。因为每一次的作业都是对前一次的增加，因此将第三次作业作为重点分析。 JML简介 JML(Java Modeling Language) 是用于对 Java 阅读全文
posted @ 2021-05-28 00:29 czlyt 阅读(75) 评论(0) 推荐(0)