2020年5月23日

第三单元总结博客

摘要： JML理论基础与工具链 JML简介 JML(Java Modeling Language)是一种对Java程序进行规格化设计的表示语言，定义了Java程序中的方法规格和类型规格，便于代码实现，展开测试和提高代码的可维护性。 JML语法介绍 JML主要以Javadoc的方式嵌入Java代码中，以@开头 阅读全文

posted @ 2020-05-23 15:39 mzny 阅读(253) 评论(0) 推荐(0) 编辑

导航