OO第三次单元作业之探寻神秘规格
摘要：
一、JML语言梳理 （一）理论基础 JML（即Java Modeling Language），是java建模语言，通过注释的形式对Java程序中数据、方法、类的功能进行描述，着重于代码的功能而非实现形式。是一种行为接口的规范语言，可以用来指定Java模块的行为。 JML最基本的用途是作为Java的合 阅读全文
posted @ 2019-05-22 16:58 橙子60 阅读(112) 评论(0) 推荐(0) 编辑