2019年5月22日
OO第三单元总结
摘要： 经历了3周的学习，现对第三单元做一个总结。 一.梳理JML的语言基础和应用工具链情况。 （1）JML语言理论基础。 第三单元的任务主要是基于JML规格实现某些类中的某些方法，因此，读懂JML就成了完成此次作业的第一步。现对本单元比较常用的JML表达式做一些梳理。 语句部分： 方法规格： 规格类型 （ 阅读全文
posted @ 2019-05-22 17:31 zzxbh 阅读(159) 评论(0) 推荐(0)