05 2020 档案

OO第三单元总结
摘要：OO第三单元总结 理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 本章通过给出JML规格让我们来实现以学习这种规格化的语言，同样的也学习了怎样根据代码补充规格，在学习JML的过程中，能感受到规格化设计带来的逻辑的严谨性。 JML表达 阅读全文
posted @ 2020-05-23 19:35 Nya0 阅读(114) 评论(0) 推荐(0) 编辑