摘要：
OO第三单元 JML 规格单元总结 一、JML总体认知 JML（Java Modeling Language），Java 建模语言，是将程序设计中不严谨、有二义性的自然语言，用严谨、无二义性的数学语言进行表述的手段之一。这种严谨语言的使用，可大大提高代码安全性，降低因不同开发者间交流时的 “理解 阅读全文
|
摘要：
OO第三单元 JML 规格单元总结 一、JML总体认知 JML（Java Modeling Language），Java 建模语言，是将程序设计中不严谨、有二义性的自然语言，用严谨、无二义性的数学语言进行表述的手段之一。这种严谨语言的使用，可大大提高代码安全性，降低因不同开发者间交流时的 “理解 阅读全文
|