2020年5月23日
OO第三单元--JML规格
摘要： JML理论基础 JML是用于对Java程序进行规格化设计的一种表示语言。与自然语言会带来的歧义性不同，JML语言通常都具有独一的意义，因此，常被用来实现逻辑严密的规格。 注释结构 JML的注释方法一般有两种： 行注释：//@annotation 块注释：/* @ annotation @ */ JM 阅读全文
posted @ 2020-05-23 11:38 1806Lay 阅读(188) 评论(0) 推荐(0)