2021年5月29日
BUAA OO第三单元总结——JML规格
摘要： BUAA OO第三单元总结——JML规格 JML规格 JML(Java Modeling Language) 是用于对 Java 程序进行规格化设计的一种表示语言。JML 是一种行为接口规格语言（Behavior Interface Specification Language，BISL），基于 L 阅读全文
posted @ 2021-05-29 12:32 Fight扬尘 阅读(148) 评论(0) 推荐(0)