摘要: 一、JML语言的理论基础 面向对象分析和设计的原则之一就是应当尽可能地把过程设想往后推。我们大多数人只在实现方法之前遵守这一规则。一旦确定了类及其接口并该开始实现方法时,我们就转向了过程设想。 Java 建模语言(JML)将注释添加到 Java 代码中,这样我们就可以确定方法所执行的内容,而不必说明 阅读全文
posted @ 2019-05-22 16:53 Raze11He 阅读(416) 评论(0) 推荐(0) 编辑