2019年5月21日
OO——第三单元JML规格编程总结
摘要： 一、JML理论基础及应用工具链 JML存在的意义 1. 开展规格化设计，能够实现设计与实现分离，实现进行提前测试。 2. 方便程序代码的阅读和维护。 JML方法规格 requires —— pre-condition assignable —— side-effects，列出这个方法能够修改的类成员 阅读全文
posted @ 2019-05-21 22:55 AND_gate 阅读(318) 评论(5) 推荐(0) 编辑