2020年5月23日
OO第三单元总结
摘要： JML语言的理论基础 什么是JML？ JML是一种形式化的、面向JAVA的行为接口规格语言。 JML拥有坚实的理论基础。 JML使用Javadoc的注释方式。 注释结构 JML以javadoc注释的方式来表示规格，每行都以@起头。有两种注释方式，行注释和块注释。其中行注释的表示方式为//@annot 阅读全文
posted @ 2020-05-23 21:44 MuZiShuiYi 阅读(128) 评论(1) 推荐(0)