05 2020 档案

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