面向对象设计与构造2022 (北京航空航天大学 - 计算机学院)

  • BUAA_OO 第一单元总结——表达式分析

    BUAA_OO 第一单元总结——表达式分析 前言 第一单元OO终于落下了帷幕,期间无论是构建代码的辛苦,还是第二次作业寄了之后的接近崩溃,都给我留下了深刻的印象。不得不说,这门课真是在某种程度上折磨了我很久。但是,当我真正做完了第三次作业,再回首之前奋战的经历,只能是究极折磨(当然还是很好玩的)。
    wpy的小黑屋   2022-03-21 23:48   2   105
  • OO第三单元总结

    理论基础 JML是用于对Java程序进行规格化设计的一种表示语言。从理论角度,JML要求方法和数据类型在特定的时刻满足特定的谓词逻辑,因此JML语言没有二义性。JML主要由方法规格和类型规格组成。 方法规格 前置条件 调用者保证满足前置条件 后置条件 方法实现者保证后置条件满足 副作用范围限定 副作
    Charlie_Cosmos   2021-05-30 17:24   0   7