2019年5月22日
OO第三单元作业总结-JML
摘要： OO第三单元作业总结 JML 17375097 张文浩 [TOC] 1.梳理JML语言理论基础以及应用工具链 java建模语言（ Java Modeling Language ）即JML是一种规范详细设计规格的符号语言。通过使用JML，我们可以尽可能的推迟代码具体实现方式的构思，明确各个模块的要求和 阅读全文
posted @ 2019-05-22 16:16 garyzhang99 阅读(161) 评论(0) 推荐(0) 编辑