2020年5月23日
oo第三单元总结
摘要： 一、JML规格与工具链应用 JML 概述 使用 JML 来说明性地描述所希望的类和方法的行为，可以显著地改善整个开发过程。将建模表示法添加到 Java 代码中，其好处包括以下几点： 能更加精确地描述代码所完成的任务 能有效地发现和纠正错误 能减少随着应用程序的进展而引入错误的机会 能较早地发现客户没 阅读全文
posted @ 2020-05-23 02:27 zdfvv 阅读(143) 评论(0) 推荐(0) 编辑