2020年5月23日
OO第三单元JML规格作业总结
摘要： OO第三单元JML规格总结 1.JML理论基础和JML工具链 1.1JML理论基础 JML简介 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言（Behavior Interface Specification La 阅读全文
posted @ 2020-05-23 20:59 犀利的高坚果 阅读(245) 评论(0) 推荐(0)