2019年5月22日
OO第三单元总结
摘要： 梳理JML语言相关内容 1. JML语言理论基础 JML(Java modeling language)是一种行为接口规范语言(BISL)，可用于指定Java模块的行为。JML可以表达的约束包括类和接口的不变量，方法的前置条件和后置条件。JML具备基于Java表达式的断言语言(assertion l 阅读全文
posted @ 2019-05-22 13:34 pampamda 阅读(172) 评论(0) 推荐(0) 编辑