摘要： 【面向对象】第三单元总结 JML规格设计 [TOC] 一、梳理JML语言的理论基础、应用工具链情况 面向对象分析和设计的原则之一就是应当尽可能地把过程设想往后推。我们大多数人只在实现方法之前遵守这一规则。一旦确定了类及其接口并该开始实现方法时，我们就转向了过程设想。和大多数语言一样，编写 Java 阅读全文