2019年5月21日
OO第三单元总结
摘要： 一、JML语言的理论基础 语言基础 Java建模语言（Java Modeling Language，JML）是一种进行详细设计的符号语言，他鼓励我们用一种全新的方式来看待Java的类和方法。 通过在Java代码中增加一些符号，这些符号用来标识一个方法是干什么的，却并不关心它的实现。通过使用JML，我 阅读全文
posted @ 2019-05-21 15:23 Arrow0 阅读(216) 评论(0) 推荐(0) 编辑