摘要: OO完结撒花 阅读全文
posted @ 2022-06-20 14:16 cywuuuu 阅读(79) 评论(0) 推荐(0) 编辑
摘要: OO 第三单元总结 规格的阅读与实现心得 JML的阅读方法 语法上, 可以参考课程组的《JML level0手册》, 涵盖了基本的jml关键词和语法,看不明白的话可以多翻翻,类比着就搞懂了 阅读顺序上, 阅读JML可以从一些比较底层的类开始读, 比如Person, Message这种依赖关系比较少的 阅读全文
posted @ 2022-05-23 20:59 cywuuuu 阅读(142) 评论(0) 推荐(0) 编辑
摘要: 摸了 阅读全文
posted @ 2022-05-09 14:20 cywuuuu 阅读(25) 评论(0) 推荐(0) 编辑
摘要: 欢送电梯月~~~ 阅读全文
posted @ 2022-04-25 23:23 cywuuuu 阅读(274) 评论(1) 推荐(2) 编辑
摘要: 北航OO第一单元总结 阅读全文
posted @ 2022-03-22 18:03 cywuuuu 阅读(176) 评论(2) 推荐(1) 编辑