05 2021 档案

BUAA_OO第三单元总结
摘要：BUAA面向对象设计与构造第三次博客总结 一. 实现规格采取的策略 这三次作业我主要采用的就是单个类，单个方法逐个攻破的方法。首先通过JML规格在每个类前定义的变量名称定义好必要的变量。然后在逐个单独实现不同的方法，由于每个函数单独规格都不是很复杂，所以实现并不是很困难。而在实现的过程中，如果需要定 阅读全文
posted @ 2021-05-31 23:11 buaa_lpx 阅读(57) 评论(0) 推荐(0)