2019年5月22日
北京航空航天大学2019年OO课程第三次总结
摘要： [TOC] 一、JML的理解与梳理 1.1 JAVA建模语言 Java建模语言（Java Modeling Language，JML）是一种进行详细设计的符号语言，它鼓励程序员用一种全新的方式来看待Java的类和方法。面向对象的分析和设计（OOAD）的一个重要原则就是过程性的思考应该尽可能地推迟，不 阅读全文
posted @ 2019-05-22 16:25 郑明悟 阅读(209) 评论(0) 推荐(0)