2020年5月21日
第三单元博客作业
摘要： 第三单元博客作业 PART 1 JML语言的理论基础以及相关工具链 JML基础 ​ JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。所谓规格化设计，就是设计者根据具体的要求进行抽象，给出一定的条件或者约束（比如对于变量的约束，方法输入输出之间的 阅读全文
posted @ 2020-05-21 13:23 yokies 阅读(143) 评论(0) 推荐(0) 编辑