2019年5月19日
BUAA_OO第三单元总结性博客作业——JML
摘要： 一、JML 在第三单元的面向对象课程中我们第一次接触了JML语言以及基于JML规范的规格化设计。在之前一系列关于面向对象思想的学习认识中，我们知道了Java是一种面向对象的语言，面向对象思想的一个重要原则就是将过程性的思考尽可能地延迟。而作为Java建模语言，JML给予了我们一种全新的方式来看待Ja 阅读全文
posted @ 2019-05-19 00:11 古木月可 阅读(539) 评论(0) 推荐(0) 编辑