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