2021年5月27日
BUAA_OO Unit3 单元总结
摘要： BUAA-OO Unit3单元总结 JML简介 JML(Java Modeling Language) 是用于对 Java 程序进行规格化设计的一种表示语言。 JML规格框架： requires 子句定义该方法的前置条件(pre-condition)； 副作用范围限定， assignable 列出这 阅读全文
posted @ 2021-05-27 10:58 blurrrr 阅读(216) 评论(0) 推荐(1)