kxqt

摘要： 一、三次作业架构设计 第一次作业——类图解析 (1) 架构介绍 这次作业跟上个单元类似，也是只需要实现对应的接口就行了，咋一看只有10个查询函数，感觉分分钟搞定啦。然后做起来完全不是这个亚子。。。。 这次从构造函数中传进来的是一堆乱序的UMLElement，然后需要从中完成各种查询。而且这次没有任何 阅读全文

摘要： 一、JML理论基础和工具链 基于规格的设计可以使开发人员能高效准确地完成开发，也能够使代码测试变得十分的轻松。 1.1 原子表达式 + \result：方法的返回值 + \old( )： 在方法执行前的取值 + \not_assigned(x,y,...)：当括号中所有变量均没有被赋值，返回 ，否则 阅读全文

摘要： OO第二单元——电梯系列 一、需求分析和设计策略 第一次作业——多线程无限容量单电梯调度 + 输入：不定时投放人的需求 + 输出：电梯的运行日志和人的进出日志 由于本单元有专门的输入输出接口，因此这里就不对输入输出格式作分析了。 本次是单电梯的调度，不考虑电梯容量问题，这样调度就变得十分简单，作为多 阅读全文

摘要： 前言 第一单元的作业是对多项式进行求导，有三次作业，每一次作业的难度逐步递增。性能分均由输出表达式的长度决定。 第一次作业——简单多项式求导 一、需求分析与设计思路简述 输入：仅含有幂函数的，格式合法的多项式字符串 输出：格式合法的多项式字符串 第一次作业是要对仅含有幂函数的多项式进行求导。由于仅有 阅读全文