2019年5月21日
第三次博客作业_JML之图的构建
摘要： 第三单元博客作业 一、JML基础知识梳理及工具链应用 1、注释结构 2、方法规格 前置条件(pre-condition) 前置条件是对方法输入参数的限制，如果不满足前置条件，方法执行结果不可预测 requires bulabula； 后置条件(post-condition) 后置条件是对方法执行结果 阅读全文
posted @ 2019-05-21 21:13 17373450 阅读(201) 评论(0) 推荐(0) 编辑