2021年5月31日
OO第三单元作业总结
摘要： OO第三单元总结 实现规格时的设计策略 这一单元主要学习的内容是掌握JML，一方面需要通过JML来完成代码实现，另一方面则是通过读JML了解写JML的方式，在以后写代码时也需要为他人书写规格。 由于有JML的指导，所以我能比较独立的完成各个方法的书写。但为了了解本题的方法的意义和更快地理解代码，看一 阅读全文
posted @ 2021-05-31 13:01 佚名123456 阅读(74) 评论(0) 推荐(0)