2022年5月23日
OO 第三单元总结
摘要： OO 第三单元总结 规格的阅读与实现心得 JML的阅读方法 语法上， 可以参考课程组的《JML level0手册》， 涵盖了基本的jml关键词和语法，看不明白的话可以多翻翻，类比着就搞懂了 阅读顺序上， 阅读JML可以从一些比较底层的类开始读， 比如Person, Message这种依赖关系比较少的 阅读全文
posted @ 2022-05-23 20:59 cywuuuu 阅读(220) 评论(0) 推荐(0) 编辑