OO 第三单元总结
Posted cywuuuu
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了OO 第三单元总结相关的知识,希望对你有一定的参考价值。
OO 第三单元总结 规格的阅读与实现心得 JML的阅读方法 语法上, 可以参考课程组的《JML level0手册》, 涵盖了基本的jml关键词和语法,看不明白的话可以多翻翻,类比着就搞懂了 阅读顺序上, 阅读JML可以从一些比较底层的类开始读, 比如Person, Message这种依赖关系比较少的
以上是关于OO 第三单元总结的主要内容,如果未能解决你的问题,请参考以下文章