2019年5月22日
OO第三次博客作业
摘要： OO Unit3 总结 ​ 第三单元的作业是以规格为基础的编程，通过这一单元的作业，笔者基本掌握了规格化设计和实现的思想方法。 JML梳理 理论基础 JML是一种形式化的、面向JAVA的行为接口规格语言，主要用于进行契约式编程，可以基于工具形成对代码的自动验证和测试。 1. 注释结构：JML以jav 阅读全文
posted @ 2019-05-22 18:02 匿堕帷幄 阅读(176) 评论(0) 推荐(0) 编辑