2021年5月30日
BUAA OO 2021 第三单元博客总结
摘要： 前言： 第三单元的作业设计是掌握面向规格化的面向对象设计方法，与第一和第二单元的设计基础不同，本单元的作业给出了需要我们所实现的类和异常的要求，不需要如同前两次单元考虑如何层次化设计每个类，类与类之间的继承关系等。本单元用JML语言规定了我们所实现的类和类的方法的要求。概括来看，在前置条件acqui 阅读全文
posted @ 2021-05-30 09:57 杨淇文 阅读(49) 评论(0) 推荐(0) 编辑