2019年6月24日

OO第四单元总结暨课程总结

摘要： OO第四单元——UML设计&课程总结 2019-06-23 前言 经历了一个学期的煎熬，OO终于迎来了完结（完结撒花！！！❀❀❀），回想起这几个月的时光真是一段难忘的血泪史（捂脸），当然在磨砺中有所成长，还是很欣慰的一件事情。接下来就先谈谈最后一个单元UML两次作业的架构设计，再总结一下四个单元以来 阅读全文

posted @ 2019-06-24 03:48 Ace424 阅读(151) 评论(0) 推荐(0) 编辑

2019年5月22日

OO第三单元总结

摘要： OO第三单元——JML与规格化设计 2019-05-22 JML语言及应用工具链 JML理论基础 JML（Java Modeling Language）是一种行为接口规格语言，用于对Java程序进行规格化设计。通过JML及其支持工具，不仅可以基于规格自动构造测试用例，并整合了SMT Solver等工 阅读全文

posted @ 2019-05-22 18:44 Ace424 阅读(165) 评论(0) 推荐(0) 编辑

2019年4月23日

OO第二单元总结

摘要： OO第二单元——多线程总结 2019-04-23 前言 OO多线程电梯的爆肝之旅终于告一段落了。也许是因为前两次安全划水，第三次出现了一些坑（感慨多线程果然是玄妙无比 :-) 接下来就从设计策略、复杂度分析、设计原则等方面谈谈历次作业的情况，最后讲讲测试和一些感想。 第五次作业：单部电梯傻瓜调度(F 阅读全文

posted @ 2019-04-23 23:35 Ace424 阅读(177) 评论(0) 推荐(0) 编辑

2019年3月27日

OO第一单元总结

摘要： OO第一单元总结 2019-03-27 一、基于度量分析程序结构 第一次作业 由于第一次作业较为简单，在此就简单阐述一下，不放类图了。 结构的设计很简单，整体的考量也十分自然。为每个项建立原子类（这里把运算符也代入成系数的一部分），抽象出每个项的数据特征，即指数和系数（常数项指数为0）；需要实现的行 阅读全文

posted @ 2019-03-27 00:37 Ace424 阅读(198) 评论(0) 推荐(0) 编辑

导航