2019年5月22日
OO第三单元作业总结
摘要： 梳理JML语言的理论基础、应用工具链情况 JML全称Java modeling language是一种行为接口规格语言（Behavior Interface Specification Language）。实际上它的作用就是对类和类的方法属性以javadoc注释的形式进行形式化的表示。通过JML所提 阅读全文
posted @ 2019-05-22 21:29 zfy88 阅读(170) 评论(0) 推荐(0)