摘要： 本单元主要学习关于Unified Modeling Language (UML)的设计与分析的内容，重点对UML中的类图、顺序图和状态图的表达方式和有效性进行了分析。 UML与上个单元学习的JML同样是一种建模语言，但与JML不同，UML是以图形化的方式描述一个程序的整体架构，并且UML提供的建模思 阅读全文

摘要： 一、JML语言的理论基础、应用工具链情况 Java Modeling Language（JML）是一种java的规格描述语言，以特殊格式的注释块形式写在java代码中，描述java类中各方法模块的行为，实现对java程序进行规格化设计的目的。JML语言具有以下特点： ·JML语言以注释的形式存在，对 阅读全文

摘要： 一、设计策略 1. 单部先来先服务电梯 第一次作业采用了最基本的生产者-消费者模型，电梯请求是模型中的商品，将控制器作为存储请求的仓库，主线程作为生产者向仓库存放请求，电梯作为消费者从仓库取出请求并处理。先来先服务的调度策略中，电梯一次只会处理一个请求，因此可将请求作为一个操作的原子。控制器储存请求 阅读全文

摘要： 一、程序设计思路 1.第一次作业 第一次作业的多项式仅含常数因子与幂函数因子组成的项，具体结构如下： Term类：描述多项式中一个项。 成员： BigInteger power：x的幂次数 BigInteger Num：系数 方法： Term(String): 构造函数，从字符串中读取系数与幂次数， 阅读全文