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