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