摘要：
项目 | 内容 | 这次作业属于哪个课程 | "软件工程" 这次作业的要求在哪 | "提问回顾与个人总结" "第一次提问的博客地址" 回答以前的问题 代码风格的重要性 答：我原来对这个问题理解也不是特别深，但是经过这次软件工程小组一起开发的过程后，我理解到了这个代码风格的统一是非常重要的，一个团队要 阅读全文
摘要：
项目 | 内容 | 这次作业属于哪个课程 | "软件工程" 这次作业的要求在哪 | "结对编程作业" [toc] "本次项目的github地址" PSP表格（开发前） PSP2.1 | Personal Software Process Stages | 预估耗时（分钟）| 实际耗时（分钟） | | 阅读全文
摘要：
这次作业属于哪个课程 | "软件工程" 这次作业的要求在哪 | "第一次阅读作业" [toc] 读后的感想 1.第四章两人合作部分 代码的风格是简明，易读，无二义性。 引用自 "《构建之法》" 我是非常赞同这个说法的。我认为我在以后的开发过程中，不会搞艺术，使用一些花里胡哨的或者说贪图简单的命名，应 阅读全文
摘要：
项目 | 内容 | 这次作业属于哪个课程 | "软件工程" 这次作业的要求在哪 | "热身作业" 我在这个课程的目标是 | 学习开发一个软件的过程，体会到开发一个实际应用的快乐 这次作业在哪个具体方面帮我实现目标 | 对课程有一个大概的了解，并且确定目标 第一部分：结缘计算机 1.你为什么选择计算机 阅读全文
摘要：
一、程序测试是指测试者特意挑出一批输入数据，通过运行程序，检查每个输入数据所对应的运行结果是否符合预期要求。 正确性证明是论证程序达到预期目的的一般性陈述，而该论证与程序输入数据的特定值无关，能够代表穷举性测试。 而Dijkstra说过“程序测试只能证明程序有错，不能说明程序正确”。除非进行穷举行测 阅读全文
摘要：
规格化的历史 规格化历史的发展主要如下： 1975年，Liskov等人发表了论文Specification Techniques for Data Abstractions，从数据抽象的角度论述了规格的优点、特性及重要性。 1976年，在第二届国际软件工程会议上，Belford等人在Specific 阅读全文
摘要：
第五次作业： 度量图： 类图： 分析：这次作业的主要问题是对电梯请求如何分配给三部电梯，让他们能够同时工作且不出现问题。这其中涉及到了关于线程安全，数据同步的问题。 但由于这是多线程的第一次作业，自己以前对多线程没有一点概念，做此次作业之前查阅了很多资料，但还是有很多地方并没有真正弄明白。这在此次作 阅读全文