摘要：
一、总结本单元两次作业的架构设计 第一次作业完成类图Model，第二次作业在覆盖第一次作业的基础上，加入状态图StateMachine和协作图Collaborations部分。 先放两次作业的类图 第一次作业 第二次作业 下介绍自顶向下介绍架构设计： 为了完成类图，状态图，协作图，我建了UmlMod 阅读全文
摘要：
一、梳理JML语言的理论基础、应用工具链情况 1.理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言(Behavior Interface Specification Language，BISL)，基于Lar 阅读全文
摘要：
一、总结三次作业的设计策略 从多线程的协同和同步控制方面，分析和总结自己三次作业的设计策略。总的来说，我经过三次作业对多线程程序的设计，认为简单可扩展的架构是最好的架构，这种架构不容易出多线程线程安全的bug，思路简单清晰是最好的。 1.第5次作业（FCFS傻瓜电梯） 在我的第5次作业，我本着简单而 阅读全文
摘要：
第一次作业 设计思路 设计两个类，表达式类Expression，项类Term，下说明这些类的成员以及需要完成的功能。 项类Term 项类较为简单，有两个成员，系数和指数，以及一个以系数和指数为输入的构造函数，用以表征一个项。 表达式类Expression 表达式类有四个成员，原始输入字符串切割成项并 阅读全文