2021年5月29日
OO第三单元总结
摘要： 第三单元总结 关于JML语法 书面定义：JML (Java Modeling Language) 是用于对 Java 程序进行规格化设计的一种表示语言，是一种行为接口规格语言。 个人理解： 设计文档接口，限定输入输出，一个很直观的例子就是本单元大部分指导书都在JML的代码里，不像前两个单元需要做许多 阅读全文
posted @ 2021-05-29 15:51 LNTisNotaTree 阅读(81) 评论(0) 推荐(0)