suirui

摘要： OO第四单元博客作业 一、总结本单元两次作业的架构设计 第一次作业 Information中存储的是类图中的各种信息，主要通过hashmap存储类和属性、操作等的对应关系，MyUmlInteraction实现接口UmlInteracton中的方法。 第二次作业 和上次作业相同，Information 阅读全文

摘要： OO第三单元博客作业 一、 梳理JML语言的理论基础，应用工具链情况 （1） 理论基础：JML是一种形式化的、面向java的行为接口规格语言，遵循契约式设计规则，通过前置、后置、不变式等的约束严格描述某个模块的行为，以防止出现设计错误。JML允许在规格中混合使用java语法成分和JML引入的语法成分 阅读全文

摘要： OO第二单元多线程电梯总结 第一次作业 设计思路 Input为输入线程，负责不断读取请求并将读到的请求放入调度器中。 Dispatcher为调度器，是Input线程和Elevator线程的共享对象，采用单例模式。Dispatcher中list为请求队列，over为输入线程结束的标志，当输入线程读到n 阅读全文

摘要： OO前三次作业总结 第一次作业 设计思路 Term作为一个项，包含系数、指数。 Poly为一个多项式，内部有ArrayList<Term>，方法包括排序、合并同类项、求导、输出等。 代码分析 指标含义 ev(G)：基本复杂度（Essential Complexity），此指标是用来衡量程序非结构化程 阅读全文