2020年5月22日
oo第三单元总结
摘要： JML理论基础 JML是用于对Java程序进行规格化设计的一种表示语言，用来约束java代码中类和方法编写的状态和行为，形成一种契约式编程。实现者根据JML的约束来编写程序，既可以使结构更加清晰，还可以帮助实现者对代码进行测试。 注释结构 JML以javadoc注释的方式来表示规格，有两种注释方式， 阅读全文
posted @ 2020-05-22 22:11 现美 阅读(129) 评论(0) 推荐(0) 编辑