2020年5月22日
OO第三单元总结
摘要： OO第三单元总结 JML语言的理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML以javadoc注释的方式来表示规格，每行都以@起头。 JML的用处 主要有两种用法，一是开展规格化设计。这样交给代码实现人员的将不是可能带有内在模糊 阅读全文
posted @ 2020-05-22 22:14 ApartmentYJ 阅读(134) 评论(0) 推荐(0) 编辑