BUAA面向对象设计与构造——第三单元总结

BUAA面向对象设计与构造——第三单元总结 1.JML语言及应用工具链 　　JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言，基于Larch方法构建。它以标准化的语言描述了类与方法的属性和规格，便于代码工作人员理解和实现。 　　JML以javadoc注释的方式来表示规格，每行都以@起头。有两种注释方式，行注释和块注

>>阅读原文<<