2020年5月21日
BUAAOOUnitThree总结分析
摘要： 一、梳理JML语言的理论基础、应用工具链情况 理论基础 定义： JML是用于对Java程序进行规格化设计的一种表示语言 JML基础 关键字解释举例 \result 方法执行后的返回值 \result = p1.getId() == p2.getId(); \old(expr) 相应方法执行前的取值 阅读全文
posted @ 2020-05-21 15:35 zhouh1999 阅读(206) 评论(0) 推荐(0)