2020年5月21日
OO第三单元总结——JML
摘要： OO第三单元总结——JML JML理论基础及工具链梳理 JML语言简介 JML(Java Modeling Language)是一种用于对JAVA程序进行规格化设计的语言，其通过定义接口所包含方法的行为，来约束实现接口的类的行为。用于逻辑化规约代码实现人员与调用者，同时提高代码的可维护性与复用性。 阅读全文
posted @ 2020-05-21 21:07 ajiuk 阅读(259) 评论(0) 推荐(0)