Loading

2020年5月20日
OOJML系列总结
摘要： [toc] 0x0 JML理论相关 0.0 概念及作用 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 JML为严格的程序设计提供了一套行之有效的方法。通过JML及其支持工具（openJML与SMT Solver、JMLUnitNG等），不仅 阅读全文
posted @ 2020-05-20 12:37 lkltcl 阅读(619) 评论(0) 推荐(2) 编辑