2020年5月23日
面向对象第三单元总结
摘要： 第三单元作业总结 目录： 一、JML语言的理论基础 二、部署JMLUnitNG/JMLUnit并应用 三、程序架构分析 （1）第一次作业 （2）第二次作业 （3）第三次作业 四、BUG与互测 五、规格撰写和理解上的心得体会 一、JML语言的理论基础 1.什么是JML： JML(Java Modeli 阅读全文
posted @ 2020-05-23 13:15 嘟1嘟 阅读(135) 评论(0) 推荐(0) 编辑