2020年5月23日
OO第三单元认识——Java建模语言
摘要： 一、JML简单引导 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 规范的JML语言描述了正确的Java程序的功能性要求，但如何实现，以及实现的性能如何就交给了程序猿（卑微的我们）自己了。 理论基础 JML以javadoc注释的方式来表示规格 阅读全文
posted @ 2020-05-23 14:44 开呀开 阅读(351) 评论(0) 推荐(0) 编辑