OO第三单元总结 JML

JML语言的理论基础、应用工具链情况

JML是一种形式化的，面向JAVA的行为接口规格语言，它结合了Eiffel的契约方法和Larch方法，以及细化演算的一些元素，有着坚实的理论基础。JML是一种形式化的，面