2020年5月22日
第三单元作业总结
摘要： 第三单元作业总结 本单元不同之前两个单元，我们不再是按照自己的意愿想怎么写就怎么写，而是必须仔细阅读JML，完成JML中的“规定动作”，保证实现的代码能够到达JML的要求，这就对我们的书写代码时的细致程度、测试强度有了更高的要求。 一、JML基础及工具链 JML基础 JML（Java Modelin 阅读全文
posted @ 2020-05-22 16:29 摄津Osaka 阅读(140) 评论(0) 推荐(0) 编辑