2020年5月23日
OO第三单元总结
摘要： OO第三单元博客 梳理JML语言的理论基础、应用工具链情况 理论基础：通过一系列描述行为描述的代码进行代码的编写，继承父类的全部接口对代码进行方法的重写，同时不改变父类的返回值和功能。JML语言有很多既定的规定，比如方法规格当中有前置条件+后置条件+副作用的要求，前置条件是执行的初始条件，后置条件是 阅读全文
posted @ 2020-05-23 10:54 lhy1823 阅读(131) 评论(0) 推荐(0)