2019年5月22日
OO第三次博客作业（第三单元总结）
摘要： (1)梳理JML语言的理论基础、应用工具链情况 Java 建模语言(JML)将注释添加到 Java 代码中，这样我们就可以确定方法所执行的内容，而不必说明它们如何做到这一点。有了 JML，我们就可以描述方法预期的功能，无需考虑实现。通过这种方法，JML 将延迟过程设想的面向对象原则扩展到了方法设计阶 阅读全文
posted @ 2019-05-22 15:10 P.R.E.T.T.Y 阅读(194) 评论(0) 推荐(0) 编辑