摘要： 一、作业架构设计 oo第四单元的主题是UML结构的理解和内容的解析。UML是一种可视化的统一建模语言，它的工具采用了一种非常特殊的方式存储图形元素：UML工具将图中的每个部分都具体为一个元素，并将每一个元素都平行放置。这样的存储方式隐藏了图中本身存在的结构，但能够极大地提升增删元素的效率。这就好比一 阅读全文

摘要： 一、JML语言的理论与应用工具链 JML语言是对一个方法、类、程序的外部可感知行为进行抽象表示的规格化语言，它具有两个重要的特征。第一点：JML语言是抽象的。它就如同一个方法、类、程序的说明书，它告诉你这个用这方法需要什么条件，使用了这个方法之后满足什么效果。但这样的效果任何实现，JML语言不进行描 阅读全文

摘要： 一、多线程电梯设计策略 首先我们可以看到，第二单元的作业设计与第一单元不同。在第二单元中，我们不仅需要设计多线程程序的结构框架，还需要考虑所设计的电梯采用的调度算法。程序框架和调度算法之间没有主次之分，我们需要协调程序结构框架和调度算法，使得我们的调度算法能够很简单的在所涉及的结构中实现。在这次作业 阅读全文

摘要： 一、基于度量的程序结构分析 第一次作业 1、设计思路： 第一次作业较为简单，整个多项式中只可能出现常数项或者变量项，且变量项只有常数✖幂函数这一种可能，因此多项式中的项可以归纳为 (c*x**p) 的形式，其中c为常数，p为指数，这个多项式为形如 (c*x**p) 的项的线性组合。首先，我们利用大正 阅读全文