2020年5月23日
OO第三单元作业——魔教规格
摘要： OO第三单元作业——魔教规格 JML的理论基础和相关工具 JML（Java Modeling Language，Java建模语言），在Java代码种增加了一些符号，这些符号用来标志一个方法是干什么的，但是不关心它的具体实现。通过使用JML，在实现代码前，我们可以描述一个方法的预期功能，而尽可能地忽略 阅读全文
posted @ 2020-05-23 09:06 如星划过夜空 阅读(153) 评论(0) 推荐(0) 编辑