摘要：
OO unit4 part1 总结本单元作业的架构设计 本单元的任务框架是读入一系列建立UML模型的指令，然后再进行一些静态查询，问题大致可以氛分为建模和查询两个部分（第三次作业的模型有效性检查也是一种静态查询），比较独立。 建模部分 我并没有在MyImplementation中直接存储一些存储元素 阅读全文
摘要：
规格实现总体思路 首先完成所有异常类的书写，方法大同小异（注意输出格式） 优先整体浏览工程中待实现的每一个类的规格。JML语言十分严谨，与此同时细节也非常多，由细节开始理解程序的整体功能不符合人的认知规律也不符合自顶向下的设计原则。理解每个类的整体功能也对理解具体方法的功能有帮助，比如如果可以将My 阅读全文
摘要：
OO unit2 需求迭代 第一次作业 输入：只有乘客的搭乘请求，搭乘请求为纵向 一共有五台纵向电梯，分别对应五个座ABCDE 第二次作业 输入：乘客的搭乘请求，搭乘请求为纵向或者横向；电梯的增加请求 初始有五台纵向电梯 第三次作业 输入：乘客的搭乘请求，搭乘请求为纵向或者横向或者任意；电梯的增加请 阅读全文
摘要：
单元任务与总体思路 OO第一单元作业的主题是读入内容位表达式的字符串，然后进行表达式的解析与化简。表达式解析的重点在于对表达式结构进行建模，表达式化简的重点在于基于建模进行单变量表达式的括号展开与简单优化，体会到了层次化设计和面向对象的思想。 第一次作业：表达式建模 架构的设计思路 我在做这个单元的 阅读全文