摘要:
第四单元总结 18373330 张洪康 第一次作业 UML图 ![](https://img2020.cnblogs.com/blog/1976940/202006/1976940-20200619210708509-211588568.png) 设计架构思想 private final HashM 阅读全文
摘要:
第三单元作业总结 18373330 张洪康 JML语言的理论基础 Java Modeling Language(JML)是一种java的规格描述语言,描述java类中各方法模块的行为,实现对java程序进行规格化设计的目的。 JML允许在规格中混合使用Java语法成分和JML引入的语法成分 JML语 阅读全文
摘要:
第二单元作业总结 第一次作业 本次作业,需要完成的任务为单部多线程可捎带电梯的模拟; 本次作业中的类以及解释: GetRequest (输入接受类) Elevator (电梯类) Controller (控制器) Floor (容器) Building (容器) 主要方法时序图以及解释 本次设计的总 阅读全文
摘要:
恢复内容开始 第一单元作业总结 基于度量来分析程序结构 第一次作业 本次作业,需要完成的任务为 简单多项式导函数 的求解,无WF判定。 本次作业中的类以及解释 : Term (幂函数) Polynomial (加减法连接的多项式) Main UML图 任务分析 : 这次作业中不同的求导规则共有三个: 阅读全文