2020年5月22日
OO第三单元_JML&架构单元总结
摘要： JML&架构单元总结 目录 JML总结 JML理论 JML工具及用途 依据JML标准的架构设计 三次作业的设计 Bug分析 分析自己的Bug 查找别人的Bug 心得体会 一、JML总结 JML理论 JML简介 JML是一种形式化的、面向JAVA的行为接口规格语言(behavioral interfa 阅读全文
posted @ 2020-05-22 16:34 Ganten 阅读(301) 评论(0) 推荐(0) 编辑