05 2021 档案

第三单元博客总结
摘要：JML小结 JML作为一种行为接口的规范语言，可以用来指定Java模块的行为，其最基本的用途是作为Java的合同设计(DBC)语言。 使用 JML 来说明性地描述所希望的类和方法的行为，可以显著地改善整个开发过程。将建模表示法添加到 Java 代码中，其好处包括以下几点： 1.能更加精确地描述代码所 阅读全文
posted @ 2021-05-30 15:48 野生孜然 阅读(31) 评论(0) 推荐(0) 编辑