2019年5月22日
OO之旅——JML篇
摘要： OO第三单元总结 [TOC] 1. JML语言理论基础以及应用工具链情况梳理 1.1 JML语言理论基础 ​ JML（Java Modeling Language）是一种用于规范Java程序行为的行为接口规范语言。JML为方法和类型的规格进行定义，为程序的形式化验证提供了基础，通过工具链可以实现静态 阅读全文
posted @ 2019-05-22 19:43 _del 阅读(338) 评论(0) 推荐(0) 编辑