摘要：
（1）总结本单元两次作业的架构设计 本单元作业主题是熟悉UML的内部结构。其中题目已经实现了umlelement，umlclass等类，我们需要实现的是umlgeneration接口，用来查找查询操作。 第一次作业 对于作业的架构，首先自然就会想到按照实际的逻辑，建立myclass等类，其中包括at 阅读全文
摘要：
JML，即java建模语言，是一种为java量身定做的形式化的行为接口规范语言，用来规范java程序模块的行为及详细设计决策。它沿袭了BISL良好定义的形式语言，同时继承了DBC语言较强的执行能力。使用JML接口规范可以推动程序的自动化测试，从而减少单元测试的负担。 （一）JML语言的理论基础梳理以 阅读全文
摘要：
OO第二次博客作业 一、从多线程的协同和同步控制方面，分析和总结自己三次作业的设计策略。 1.第一次作业 第一次作业是最简单的傻瓜调度，按照先来先服务的原则，并且没有捎带原则。架构主要是两个线程和一个调度器。两个线程分别是输入线程和运行线程。输入线程将输入的乘客请求信息送入调度器队列，而电梯则从调度 阅读全文
摘要：
OO第一单元总结 第一次作业总结 这是我第一次接触Java和面向对象思想，最一开始，我建立了简单的类和对象的概念，多亏了第一次作业难度和复杂度较低，我才没有崩掉hhh。 第一次作业我只分了三个类，一个main，一个多项式，还有项。项通过加号连接起来形成多项式。由于求导规则简单，我将求导放在了项类里， 阅读全文