OO第三单元总结
摘要：
Part 1 JML基础 Java Modeling Language（JML）是一种行为规范语言吗，用于规定Java类和方法的行为和接口。通过jml可以严谨的定义方法和类的行为，只需要阅读jml就可以无歧义的理解类和方法的功能，并可以开展测试。 使用JML的两个主要好处是： 1、对Java程序模块 阅读全文
posted @ 2020-05-23 15:13 Acabbage 阅读(176) 评论(0) 推荐(0) 编辑
