OO第四次博客作业 零、写在前面 终于到最后了QAQ。这第四单元,处在一个比较尴尬的时间段(考期),所以每次作业的时间都比较长;但这也并不影响思维难度和码量(轻轻松松破千)。总的说来,第四单元就像助教说的那样可以近似认为是一个小软件了,针对于解析UML的软件,只是缺少了一些封装。可能这也是码量大的一 Read More
posted @ 2019-06-24 00:13 丶冰霜领域 Views(87) Comments(0) Diggs(0) Edit
OO第三次博客作业 零、写在前面 惨哦。这个单元自己遇到了巨大的困难,也付出了最大的努力,然而天不遂人意,着实有点可惜。 但是对于这个单元希望我们掌握的JML规格方面倒是收获颇多,而作业中的困难却不在于此而在于算法问题,这算是数据结构课程留下的旧债? 一、JML语言理论基础和工具链 注释结构 JML Read More
posted @ 2019-05-22 16:04 丶冰霜领域 Views(98) Comments(0) Diggs(0) Edit
OO第二次博客作业 零、写在前面 OO第二单元宣告结束,在这个单元里自己算是真正对面向对象编程产生了比较深刻的理解,也认识到了一个合理的架构为编程带来的极大的便利。 (挂三次评测分数 看出得分接近等差数列 菜鸡本质暴露无遗) 一、总体设计策略 三次作业设计策略基本相同。前两次是四个类:Main、El Read More
posted @ 2019-04-23 23:26 丶冰霜领域 Views(92) Comments(0) Diggs(0) Edit
OO第一次博客作业 零、写在前面 OO第一单元宣告结束,在经历了前三次周末的痛苦后,这次终于可以有所喘息了。每次都是在绝望中寻找希望,虽然结果不尽人意,自己已经得到了成长;也许这才是最重要的。 一、基于度量的分析 第一次作业 总体结构分析 在第一次作业中,采用的完全是之前的面向对象思维;所有类都建为 Read More
posted @ 2019-03-25 23:53 丶冰霜领域 Views(136) Comments(0) Diggs(0) Edit