2020年5月22日
JML单元总结
摘要： JML单元 1.梳理JML语言的理论基础 概述 Java建模语言（Java Modeling Language，JML）是一种进行详细设计的符号语言，使人们用一种全新的方式来看待Java的类和方法。JML是一种用于Java模块的行为接口规格语言 。JML提供了用于正式描述Java模块行为的语义，从而 阅读全文
posted @ 2020-05-22 22:12 Luocx 阅读(453) 评论(0) 推荐(0) 编辑