05 2020 档案

OO第三次博客作业
摘要：理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言，主要有两个用法：（1）开展规格化设计，（2）针对已有的代码实现，书写其对应的规格，从而提高代码的可维护性。 整体上而言，JML是保证了在一定条件的基础下会得到的结果，但并不关心实现的具体 阅读全文
posted @ 2020-05-23 15:39 AOEHST 阅读(151) 评论(0) 推荐(0)