2019年5月22日
OO第三单元作业总结
摘要： OO第三单元博客作业 [TOC] 一、JML语言梳理 (1)理论基础 Java建模语言（Java Modeling Language，JML）在Java代码中增加了一些符号，这些符号用来标识一个方法是干什么的，却并不关心它的实现。如果使用JML的话，我们就能够描述一个方法的预期的功能而不管他如何实现 阅读全文
posted @ 2019-05-22 11:17 不很稳定的大时钟 阅读(219) 评论(0) 推荐(0) 编辑