2020年5月22日
OO第三单元总结——人际关系网
摘要： OO第三单元总结——人际关系网 JML语言 1.JML语言理论基础 JML是用于对Java程序进行规格化设计的一种表示语言。有两种主要的用法： 在编写代码之前根据需要进行规格化设计。 针对已有的代码实现，书写其对应的规格，从而提高代码的可维护性。 （1）JML表达式 | 原子表达式 | | | | 阅读全文
posted @ 2020-05-22 14:28 tritri 阅读(230) 评论(0) 推荐(0)