2020年5月22日
BUAA_OO_第三单元
摘要： 一、JML初探 ​ JML(Java Modeling Language)作为一种形式化语言，可以约束Java代码中类和方法的状态和行为形成规格，通过将一系列具体代码实现抽象成明确的行为接口，可以形成一种契约式编程模式，JML设计者无需考虑实际的数据结构与算法，可以聚焦于程序的整体逻辑，JML形式化 阅读全文
posted @ 2020-05-22 17:34 zixfy 阅读(307) 评论(0) 推荐(0) 编辑