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