05 2021 档案

BUAAOO Unit Three Blog
摘要：JML知识 Java建模语言（Java Modeling Language，JML）在Java代码中增加了一些符号，这些符号用来标识一个方法是干什么的，却并不关心它的实现。如果使用JML的话，我们就能够描述一个方法的预期的功能而不管他如何实现。通过这种方式，JML把过程性的思考延迟到方法设计中，从而 阅读全文
posted @ 2021-05-27 22:15 Pluto_xyf 阅读(60) 评论(0) 推荐(0)