摘要: OO第四单元总结 (1)总结本单元两次作业的架构设计 (2)总结自己在四个单元中架构设计及OO方法理解的演进 (3)总结自己在四个单元中测试理解与实践的演进 (4)总结自己的课程收获 (5)立足于自己的体会给课程提三个具体改进建议 1. 本单元作业架构设计 1.1 UML1设计 ​ 本次作业主要是实 阅读全文
posted @ 2019-06-24 13:37 _del 阅读(296) 评论(2) 推荐(1) 编辑
摘要: OO第三单元总结 [TOC] 1. JML语言理论基础以及应用工具链情况梳理 1.1 JML语言理论基础 ​ JML(Java Modeling Language)是一种用于规范Java程序行为的行为接口规范语言。JML为方法和类型的规格进行定义,为程序的形式化验证提供了基础,通过工具链可以实现静态 阅读全文
posted @ 2019-05-22 19:43 _del 阅读(323) 评论(0) 推荐(0) 编辑
摘要: OO第二单元总结 0. 前言 作为程序员,今天你决定翘掉晚上的加班,约女朋友看电影。 电影是 20:00 开始。 虽然翘掉了加班,但你从公司出来,就已经 19:00 了。 公司在望京 SOHO,约会地点在朝阳大悦城。 (这点时间,祝你好运吧) 也许你运气真的很好,19:50 就赶到商场了。 心里想: 阅读全文
posted @ 2019-04-23 15:18 _del 阅读(213) 评论(0) 推荐(0) 编辑
摘要: 懒人神器 更新 大家注意一下,由于在写入MANIFEST的时候,Class Path路径给的是 ,即上级目录的lib。 所以在对拍时如果手动移动了 jar包的位置,需要保证 lib/ 文件夹在存放jar包的 上一级目录 下,否则在运行时会报错 (也可以在源码中直接修改jar包的输出位置) 一种可能的 阅读全文
posted @ 2019-04-16 15:45 _del 阅读(534) 评论(0) 推荐(5) 编辑
摘要: OO第一单元总结 前言 ​ 第一单元的三次作业,因为自己的拖延症,加上一些确实无法避免的事情耽搁,每每到周日甚至周一才开工,虽然前两次作业完成地比较顺利,但到了第三次作业就差点把自己玩儿掉里。第三次作业到周日下午才开工,花了整整一下午的时间去构思、设计,花了一整天的时间写代码,又花了半个小时说服自己 阅读全文
posted @ 2019-03-26 20:32 _del 阅读(318) 评论(0) 推荐(0) 编辑