2020年5月23日
OO第三单元总结
摘要： [TOC] OO第三单元总结 1 梳理JML语言的理论基础、应用工具链情况 1.1 理论基础 ​ JML是用于对Java程序进行规格化设计的一种表示语言。使用JML，能够描述一个方法预期的功能而不管如何实现，先设计类和接口，推迟了过程性的思考。JML以javadoc注释的方式来表示规格，有两种注释方 阅读全文
posted @ 2020-05-23 17:29 AhaSokach 阅读(169) 评论(0) 推荐(0) 编辑