2020年5月21日
BUAAOO第三单元总结——规格化的面向对象设计
摘要： 一、JML理论基础 1.1 JML的用法 JML是用于对Java程序进行规格化设计的一种表示语言。JML有两种主要的用法： （1）开展规格化设计。例如本单元的三次作业； （2）针对已有的代码实现，书写其对应的规格，从而提高代码的可维护性。例如本单元的课上实验。 1.2 JML的注释结构 1 行注释： 阅读全文
posted @ 2020-05-21 23:48 18373404 阅读(182) 评论(0) 推荐(0)