2019年5月22日
OO_Unit3_JML规格模式
摘要： 恢复内容开始 "CSDN博客链接" @[toc] 一、JML语言的理论基础及应用工具链 （一）定义： JML(Java Modeling Language)：对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言 （Behavior Interface Specification L 阅读全文
posted @ 2019-05-22 20:15 17373259 阅读(217) 评论(0) 推荐(0) 编辑
OO_Unit3_JML规格模式
摘要： "CSDN博客链接" @[toc] 一、JML语言的理论基础及应用工具链 （一）定义： JML(Java Modeling Language)：对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言 （Behavior Interface Specification Language 阅读全文
posted @ 2019-05-22 20:12 17373259 阅读(106) 评论(0) 推荐(0) 编辑