白夜

摘要： OO第四单元总结 （1）总结本单元两次作业的架构设计 （2）总结自己在四个单元中架构设计及OO方法理解的演进 （3）总结自己在四个单元中测试理解与实践的演进 （4）总结自己的课程收获 （5）立足于自己的体会给课程提三个具体改进建议 1. 本单元作业架构设计 1.1 UML1设计 ​ 本次作业主要是实 阅读全文

摘要： OO第三单元总结 [TOC] 1. JML语言理论基础以及应用工具链情况梳理 1.1 JML语言理论基础 ​ JML（Java Modeling Language）是一种用于规范Java程序行为的行为接口规范语言。JML为方法和类型的规格进行定义，为程序的形式化验证提供了基础，通过工具链可以实现静态 阅读全文

摘要： OO第二单元总结 0. 前言 作为程序员，今天你决定翘掉晚上的加班，约女朋友看电影。 电影是 20:00 开始。 虽然翘掉了加班，但你从公司出来，就已经 19:00 了。 公司在望京 SOHO，约会地点在朝阳大悦城。 （这点时间，祝你好运吧） 也许你运气真的很好，19:50 就赶到商场了。 心里想： 阅读全文

摘要： 懒人神器 更新 大家注意一下，由于在写入MANIFEST的时候，Class Path路径给的是 ，即上级目录的lib。 所以在对拍时如果手动移动了 jar包的位置，需要保证 lib/ 文件夹在存放jar包的 上一级目录 下，否则在运行时会报错 （也可以在源码中直接修改jar包的输出位置） 一种可能的 阅读全文

摘要： OO第一单元总结 前言 ​ 第一单元的三次作业，因为自己的拖延症，加上一些确实无法避免的事情耽搁，每每到周日甚至周一才开工，虽然前两次作业完成地比较顺利，但到了第三次作业就差点把自己玩儿掉里。第三次作业到周日下午才开工，花了整整一下午的时间去构思、设计，花了一整天的时间写代码，又花了半个小时说服自己 阅读全文