2020年5月23日
OO第三单元总结
摘要： OO第三单元总结 一、JML介绍及工具链 （一）JML理论 The Java Modeling Language (JML)是一种行为接口规范语言，可用于指定Java模块行为。使用JML可以对Java程序模块的行为进行准确和明确的描述，也允许人们不仅记录公共接口和行为，也记录一些详细的决策细节。 J 阅读全文
posted @ 2020-05-23 12:08 孙亦琦 阅读(110) 评论(0) 推荐(0) 编辑