橙子60

摘要： 一、JML语言梳理 （一）理论基础 JML（即Java Modeling Language），是java建模语言，通过注释的形式对Java程序中数据、方法、类的功能进行描述，着重于代码的功能而非实现形式。是一种行为接口的规范语言，可以用来指定Java模块的行为。 JML最基本的用途是作为Java的合 阅读全文

摘要： 第二个单元的三次作业均为多线程电梯的设计，旨在让我们能够理解多线程在面向对象设计时的重要意义，并熟练掌握在保证线程安全和性能高效情况下的多线程协同的设计模式——在本次作业中主要体现在生产者-消费者模式。三次作业从开始简单的傻瓜调度电梯，到加入捎带的ALS捎带算法以及最后多部电梯的组合运行模式，逐步加 阅读全文

摘要： 第一个单元的三次作业均为求导，循序渐进的让我们掌握如何构造类和方法，让整个代码是面向对象的设计而不是面向过程的设计。如果第一次作业和第二次作业你只是简单的对过程着手架构类，到了第三次作业就会变得格外麻烦。掌握了面向对象创建多个类、分层次地实现每个类的功能，并梳理清楚继承与接口处理每个类的思路，便能够 阅读全文