2020年5月23日
第三单元总结
摘要： 一、JML介绍 JML(Java Modelling Language)是一种用于描述Java程序方法的行为的语言。JML规格对方法的执行效果、执行条件和副作用等作出了明确的规定。 JML方法规格的场景有两种：正常行为和异常行为，分别用normal_behavior和exceptional_beha 阅读全文
posted @ 2020-05-23 09:07 ?SyntaxError 阅读(179) 评论(0) 推荐(0) 编辑