2019年5月21日
BUAA OO第三单元总结
摘要： 一、JML知识梳理 1.1 JML语言理论基础 JML是Java建模语言。使用 JML 来说明性地描述所希望的类和方法的行为，可以显著地改善整个开发过程。将建模表示法添加到 Java 代码中。JML的使用可以更加精确地描述代码所完成的任务、有效地发现和纠正错误、减少随着应用程序的进展而引入错误的机会 阅读全文
posted @ 2019-05-21 19:59 Jessyswing 阅读(217) 评论(0) 推荐(0) 编辑