摘要：
本单元总结 1. 第一次作业 需求分析：对UML类图相关属性进行相关查询操作 架构总览 分析 按照要求逐层细化 由下而上的建立具有更多信息的原子 如：UmlClass扩充为有AttributeList、FatherList等附加属性的MyClass 根据层次从属关系将原子组合为架构 将架构搭好后，具 阅读全文
摘要：
梳理JML语言相关内容 1. JML语言理论基础 JML(Java modeling language)是一种行为接口规范语言(BISL)，可用于指定Java模块的行为。JML可以表达的约束包括类和接口的不变量，方法的前置条件和后置条件。JML具备基于Java表达式的断言语言(assertion l 阅读全文
摘要：
第二单元是关于电梯的多线程作业，整个过程中需求不断拓展，在ZY大佬的尽心尽力帮助下，总算完成了作业，感激涕零！同样感谢FF大佬和助教姐姐的帮助！手动@以上。 第一次电梯作业 整体构思 傻瓜电梯调度算法（FCFS）：电梯挨个执行请求，无优化算法 总共为三个线程 输入线程 调度器线程 电梯线程 使用ar 阅读全文
摘要：
第一次作业 整体构思 由于面向对象思维的缺乏，第一次作业的整个架构非常不行，还手动暴力实现了类似C语言的链表…… 整体思路就是判断空串以及空格相关的非法格式后，使用单项的正则表达式对整个表达式进行格式合法判断，简化符号并构造系数和指数的链表，然后对链表进行求导。 量化分析 | Method | ev 阅读全文