2019年5月22日
BUAAOO第三单元总结
摘要： JML及其工具链 JML发展概述及语法回顾 Java Modeling Language (JML)是一种接口行为规格描述语言，使用它我们可以快速建模接口行为，同时借助各种工具实现一些自动化的检查，确保程序各部分符合功能需求。 基本使用： 对接口的前置条件、后置条件及副作用进行断言式描述 使规格描述 阅读全文
posted @ 2019-05-22 11:08 MisTariano 阅读(273) 评论(0) 推荐(0) 编辑