摘要： 一、本单元三次作业架构设计 本次作业属迭代写解析UML的工具，从第一次对类图的解析到第二次对状态图和顺序图的解析再到第三次新增检查规则。我的基本架构在三次作业中都没有发生改变，只做了部分整合。因此就直接拿第三次作业来分析了。 面对一条条UML元素，我需要做的是解析出元素内容，将数据进行整合以便查询等 阅读全文

摘要： JML理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言（Behavior Interface Specifification Language，BISL），基于Larch方法构建。一般而言，jml有两种主要 阅读全文

摘要： 一、前言 经历了第一单元表达式求导的磨砺，我终于是对面向对象编程有了懵懵懂懂的认识（动不动就重构确实不可取），而我们也来到了第二单元：多线程设计部分。本单元的作业是设计符合条件的电梯模型，自行设计电梯调度算法，在规定的时间把乘客送到地点，本次是实时请求，故需要采用多线程设计。接下来就对三次作业逐次分 阅读全文

摘要： 第一次作业 需求分析 第一次作业的要求是多项式求导，其中项就是常数与幂函数的乘积，项与项之间就是普通的加减，并且并无格式检查（即输进来的数据都是符合要求的）。 设计思路 我只设计了一个poly类和main类来解决问题。其中main类承担了标准化输入（即把空格删一删，连续的+-号替换）、分析格式并提取 阅读全文