2020年5月21日
OO第三单元总结
摘要： OO第三单元总结 OO第三单元主要是JML规格的书写和实现，代码量不多，难度不大，但是很坑 JML理论基础与工具链 JML理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言（Behavior Interfac 阅读全文
posted @ 2020-05-21 17:26 Donke55 阅读(152) 评论(0) 推荐(0) 编辑