摘要：
第四单元总结 18373330 张洪康 第一次作业 UML图  设计架构思想 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图 任务分析 ： 这次作业中不同的求导规则共有三个： 阅读全文