05 2020 档案

OO第三单元总结
摘要：OO第三单元总结 一、JML理论基础与工具链梳理 使用： ​ jml有类型规格和方法规格。 ​ 类型规格指针对Java程序中定义的数据类型所设计的限制规则，一般而言，就是指针对类或接口所设计的约束规则。课程中的重点是不变式invariant和状态变化约束constraint。不变式invariant 阅读全文
posted @ 2020-05-20 16:51 Member 阅读(131) 评论(0) 推荐(0) 编辑