2020年5月23日
oo第三单元总结
摘要： 一、JML理论基础及工具链分析 （一）JML理论基础 1.简介 JML（JAVA Modeling Language, Java建模语言），是对JAVA代码规格的设计。其主要作用是在编写类和方法之前规定好其行为，包括方法的输入数据要求、返回值以及可能会改变的数据。这种建模语言的优势在于可以更加精确的 阅读全文
posted @ 2020-05-23 16:30 MadokaHomura 阅读(165) 评论(0) 推荐(0) 编辑