2020年5月22日
2020北航OO第三单无总结
摘要： 一、概述 任务要求：根据jml给定的规格完成代码设计。主要难点在于jml语法理解、算法优化、和JML工具链（完全不会）。 该单元坑点很多，然而每一个坑点我都中了，（因为我在摸鱼），在bugs部分详述。 二、JML基础 简介 JML(Java Modeling Language)是用于对Java程序进 阅读全文
posted @ 2020-05-22 00:50 don_zhou 阅读(152) 评论(0) 推荐(0) 编辑