2019年5月22日
OO博客作业-《JML之卷》
摘要： OO第三单元小结 一.JML语言理论基础以及应用工具链情况梳理 一句话来说，JML就是用于对JAVA程序设计逻辑的预先约定的一种语言，以便正确严格高效地完成程序以及展开测试，这在不能容忍细微错误的工程领域如航空航天领域有广泛应用。 1.1 JML语言理论基础 本单元我们学习了一些语言理论基础，梳理如 阅读全文
posted @ 2019-05-22 00:40 七月星河 阅读(194) 评论(0) 推荐(0) 编辑