摘要： 一、JML的理论基础和应用工具链 JML的理论基础 JML（Java Modeling Language）是一种形式化的、面向JAVA的行为接口规格语言。 本单元课程作业是由课程组提供JML，而且确保只要代码严格满足JML的要求，则正确性就可以保证。这就是一种契约式编程的过程，设计者提供规格设计，不 阅读全文