2019年5月22日
2019北航OO第三单元作业总结
摘要： 1、梳理JML语言的理论基础、应用工具链情况 JML基础理论： JML（Java Modeling Language）是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言，基于Larch方法构建。JML可以为严格地程序设计提供一套行之有效的方法。通过JML及其支持工具，不仅 阅读全文
posted @ 2019-05-22 21:53 Anferi 阅读(254) 评论(0) 推荐(0) 编辑