2019年5月21日
OO第三单元总结--根据JML写代码
摘要： 一. JML语言 1. 理论基础 首先，JML不是JAVA的一部分，它是一群研究者为JAVA设计的扩展部分，但还没有得到官方的支持。因此，JAVA编译器并不支持JML，所以要想JML起作用，只能采用类似openJML这样的第三方来编译，将JML 规格编译为运行时检查的语句，即RAC code(run 阅读全文
posted @ 2019-05-21 10:29 Yifan_Liu 阅读(576) 评论(0) 推荐(0) 编辑