2020年5月23日
北航OO(2020)第三单元博客作业
摘要： 一、JML理论基础及相关工具链 1.JML理论基础 该部分梳理本单元作业中涉及到的JML知识。 1.1注释结构 JML采用javadoc注释的方式来表示规格，且每行以@开头。通过使用//@annotation来进行行注释，使用/*@annotaion@*/来进行块注释。 1.2JML表达式 1.2. 阅读全文
posted @ 2020-05-23 17:51 8igfive 阅读(169) 评论(0) 推荐(0)