2022年6月4日
BUAA_OO_UNIT3 总结
摘要： 一、JML语言基础梳理 JML（Java Modeling Language，Java建模语言），在Java代码种增加了一些符号，这些符号用来标志一个方法是干什么的，但是不关心它的具体实现。通过使用JML，在实现代码前，我们可以描述一个方法的预期功能，而尽可能地忽略实现，从而把过程性思考一直延迟到方 阅读全文
posted @ 2022-06-04 12:10 不怕事学渣扛把子势力 阅读(43) 评论(2) 推荐(0) 编辑