Loading

2020年5月19日
BUAA_OO_2020_第三单元总结
摘要： BUAA_OO_2020_第三单元总结 JML理论基础 简介 JML(Java Modeling Language)是一种用于对JAVA程序进行规格化设计的语言，其通过定义接口所包含方法的行为，来约束实现接口的类的行为。本章作业就是实现课程组提供的用规格定义好的接口，来学习如何根据规格写方法。 JM 阅读全文
posted @ 2020-05-19 16:01 圆* 阅读(807) 评论(0) 推荐(3) 编辑