2019年5月22日
OO第三单元总结——JML
摘要： 一、梳理JML语言的理论基础、应用工具链情况 理论基础： JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 1.注释结构 JML以javadoc注释的方式来表示规格，每行都以@起头。有两种注释方式，行注释和块注释。其中行注释的表示方式为//@a 阅读全文
posted @ 2019-05-22 00:41 Zf_Wan 阅读(254) 评论(0) 推荐(0) 编辑