2019年5月22日
OO第三单元作业(JML)总结
摘要： OO第三单元作业(JML)总结 一：梳理JML语言的理论基础，应用工具链情况 对于JML(Java Modeling Language)是对java的一种建模语言，通过JML可以规定不同方法，不同类希望完成的动作与行为，对整个开发过程有着良好的监控行为。该建模语言在以注释的形式内嵌在代码中，它对代码 阅读全文
posted @ 2019-05-22 12:27 Ti-amo 阅读(368) 评论(0) 推荐(0) 编辑