2020年5月23日
OO第三单元——JML——总结
摘要： OO第三单元——JML——总结 一、JML的梳理和总结 JML 简介 JML（JAVA Modeling Language)是用于对JAVA程序进行规格化设计的一种表示语言。一般具有两种用法： 开展规格化设计。其特征为：严格的逻辑性。 针对已有的代码实现。书写对应规格，从而提高代码的可维护性。 基本 阅读全文
posted @ 2020-05-23 16:41 BH-18373176 阅读(635) 评论(0) 推荐(0) 编辑