摘要：
一、JML简介 1.JML语言的理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言 （Behavior Interface Specification Language，BISL），基于Larch方法构建。B 阅读全文
摘要：
第一次作业——FAFS调度 1.设计策略 第一次作业是单部电梯的傻瓜调度，所以电梯的运作不是难点。对于初次接触多线程的我来说，多线程之间的协同和同步控制是这次作业的难点。作业的整体思路我采用的是典型的生产者-消费者模式，请求输入是一个生产者线程，调度器相当于一个仓库，电梯则是消费者线程。 我采用的是 阅读全文
摘要：
第一次作业 (1) UML结构图 （2）结构分析 Polynomial 类是对输入的字符串进行预处理，其中包括判断格式是否合法，运算符简化，分割成项等方法。 Polynomial处理后得到的每一个项的字符串，传给Iterm类（这个类名是item和term的组合，互测中独一无二的类名，真是可怕！），i 阅读全文