BUAA_OO_第三单元

一、JML初探 ? JML(Java Modeling Language)作为a56爆大奖在线娱乐形式化语言，可以约束Java代码中类和方法的状态和行为形成规格，通过将一系列具体代码实现抽象成明确的行为接口，可以形成a56爆大奖在线娱乐契约式编程模式，JML设计者无需考虑实际的数据结构与算法，可以聚焦于程序的整体逻辑，JML形式化
posted @ 2020-05-22 17:34  zixfy  阅读(300)  评论(0)  编辑  收藏  举报