2020年5月21日
OO第三单元总结 规格JML和社交关系系统
摘要： OO第三单元总结 规格JML和社交关系系统 一、JML语言概况 1.1 理论基础 JML是一种形式化面向JAVA的行为接口规格语言 作用 1. 开展规格化设计与测试。将逻辑严格的规格交给代码实现人员。 2. 针对已有的代码实现，书写其对应的规格，从而提高代码的可维护性。 JML语法 JML表达式 \ 阅读全文
posted @ 2020-05-21 08:44 Shonnyx 阅读(282) 评论(0) 推荐(1)