2020年5月23日
oo第三单元作业总结
摘要： 一、梳理JML相关内容 JML是一种形式化的、面向JAVA的行为接口规格语言。JML允许在规格中混合使用Java语法成分和JML引入的语法成分、拥有坚实的理论基础、使用Javadoc的注释方式、且已经拥有了相应的工具链，可以自动识别和分析处理JML规格。JML的相关工具链包括OpenJML、JMLU 阅读全文
posted @ 2020-05-23 12:11 柒一零10 阅读(209) 评论(0) 推荐(0)