摘要: 面向对象第四单元总结 第四单元三次作业围绕uml图的理解展开,分别是解析uml类图、解析uml顺序图、状态图和类图以及对部分有效性规则的检验。 架构设计 第一次作业 第一次作业主要采用了树状图的架构方法,新建了用于存放类图信息的类unlunit,将属于一个umlclass或者一个umlinterfa 阅读全文
posted @ 2020-06-18 20:29 歌未竟 阅读(135) 评论(0) 推荐(0) 编辑
摘要: 面向对象第三单元总结 第三单元的重点是JML语言和规格。三次作业都采用了形式化的语言进行描述。 1.JML语言的理论基础、应用工具链 + 理论基础 ​ 定义:JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言(Beha 阅读全文
posted @ 2020-05-22 22:40 歌未竟 阅读(162) 评论(0) 推荐(0) 编辑
摘要: 面向对象第二单元总结 第二单元三次作业分别为单步多线程可稍带电梯、多部多线程可稍带调度电梯以及增加功能和限制条件的多部多线程可稍带电梯。三次作业关联性很强,有很多需要迭代继承的部分,在开发时也可以针对需求对必要的地方进行重构。 1.多线程的运用与同步控制 + 第一次作业 第一次作业我采用了 生产者 阅读全文
posted @ 2020-04-17 17:01 歌未竟 阅读(162) 评论(0) 推荐(0) 编辑
摘要: 面向对象第一单元总结 第一单元三次作业分别为简单多项式的求导、支持简单三角函数多项式的求导以及支持嵌套因子和表达式因子的求导。总的来说,三次作业应采用迭代式开发,作业依次向之前数据兼容。本文主要从架构分析和程序结构、bug的处理与测试和对比与学习体会来总结第一单元。 1.架构分析和程序结构 1.1 阅读全文
posted @ 2020-03-20 11:41 歌未竟 阅读(172) 评论(0) 推荐(0) 编辑