2020年5月21日
OO第三次博客作业
摘要： OO第三次博客作业 JML是用于对Java程序进行规格化设计的一种表示语言，有两种主要的用法，一是开展规格化设计，二是针对已有的代码实现，书写其对应的规格，从而提高代码的可维护性，本单元的三次作业和两次实验就针对这些内容展开。 JML理论基础 JML的设计考虑到了未来扩展需要，把语言分成了几个层次， 阅读全文
posted @ 2020-05-21 16:42 homothetic 阅读(161) 评论(0) 推荐(0) 编辑