05 2020 档案

OO第三单元作业总结
摘要：一、JML理论基础 JML是用于对Java程序进行规格化设计的一种表示语言，是对一种行为接口规格语言。通过它，可以完整的描述这个接口的行为，需要做到对于这个接口（方法）或者类型外部的内容的完整定义。 JML有两种主要用法：1.开展规格化设计，这样的话对于代码实现人员来说是莫大的福利。2.针对已有的代 阅读全文
posted @ 2020-05-20 22:46 力理利丽黎 阅读(177) 评论(0) 推荐(1) 编辑