05 2021 档案

OO第三单元总结
摘要：OO第三单元总结 （1）总结分析自己实现规格所采取的设计策略 我在实现jml规格时，是先把比较类似的异常类实现了，再去实现相对比较独立的person，group，message类，最后实现各个类之间交互较多的network类，实现策略是先严格按照jml翻译，然后再对性能可以优化的地方进行更改，具体优 阅读全文
posted @ 2021-05-27 17:47 CloudZD 阅读(100) 评论(0) 推荐(0)