BUAA_OO_2020_Unit4_总结 2020年春季学期第十六周,OO第四单元即最终章落下帷幕,本单元是利用Java进行UML类图的解析,完成对类图、顺序图、状态图的内部查询操作与简单的规则判断操作,下做总结: 一、三次作业架构设计 从总体上看,本单元的作业我更注重结构上的条理性,在每次作业之 Read More
posted @ 2020-06-16 15:34 Craaaaazy Views(228) Comments(0) Diggs(1) Edit
BUAA_OO_2020_Unit3_总结 2020年春季学期第十三周,OO第三单元落下帷幕,对这个单元的内容JML有了更深的理解,但也有了一些疑惑,下做总结: 一、JML语言以及工具链 经过课上JML语言的学习,以及实验与课下作业自己实践的理解,我认为JML语言通过一个契约对一个待实现的功能进行了 Read More
posted @ 2020-05-21 10:26 Craaaaazy Views(271) Comments(0) Diggs(0) Edit
BUAA_OO_2020_Unit2_总结 2020年春季学期第八周,OO第二单元落下帷幕,三次多线程任务作罢,萌新在OO的世界里又迈出了艰难但有意义的一步,下作总结: 一、三次作业设计策略 回顾三次电梯作业,整体的设计架构是在第二次的作业时最终确定的,第三次作业沿用了第二次作业的整体思路。总体而言 Read More
posted @ 2020-04-15 16:22 Craaaaazy Views(169) Comments(0) Diggs(0) Edit
BUAA_OO_2020_Unit1_总结 2020年春季学期第四周,OO第一单元落下帷幕,几多欢喜几多愁,现做如下总结(按每次作业的递进顺序) 一、第一次作业(基础的幂函数求导) 基于度量的程序结构分析 第一次作业是较为简单的幂函数的求导,由于没有错误格式的数据出现,我们处理源字符串的方式也变得尤 Read More
posted @ 2020-03-18 13:48 Craaaaazy Views(201) Comments(0) Diggs(1) Edit