05 2020 档案

OO第三单元总结
摘要：JML理论基础和应用工具链 + JML定义 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言(Behavior Interface Specification Language, BISL)，基于Larch方法构建。 阅读全文
posted @ 2020-05-23 18:08 lpc?? 阅读(161) 评论(0) 推荐(0) 编辑