2019年5月22日
OO2019第三次作业总结.
摘要： JML语言理论及工具链 JML语言 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。Java程序中方法的JML规格主要包括三个部分：(1)requires子句定义该方法的前置条件(precondition)；(2)副作用范围限定；(3)ensu 阅读全文
posted @ 2019-05-22 17:23 huluobo7161 阅读(184) 评论(0) 推荐(0) 编辑
OO2019第三次作业总结
摘要： ##JML语言理论以及工具链 阅读全文
posted @ 2019-05-22 17:00 huluobo7161 阅读(67) 评论(0) 推荐(0) 编辑