苗萌

摘要： 提问回顾与个人总结 作业介绍 | 项目 | 内容 | | : | : | | 作业所处课程 | " 软件工程班级博客 " | | 作业要求介绍 | " 作业要求 " | | 我在这个课程的目标 | 学习系统化、规范化、量化的方法在软件开发、操作和维护中的应用 | | 这个作业在哪个具体方面帮助我实现 阅读全文

摘要： 软件工程结对作业 ================== 非不认真，非不努力，奈何时间所剩无几，未能提交最完美的作业 一）项目GitHub地址。 https://github.com/awfsgdf/coyg 虽然我们GitHub项目的tag提交时间很晚，但实际上我们很早就开始写代码了，只是没有注意到 阅读全文

摘要： 软件工程第一次阅读作业 ==================== 作业介绍 |项目|内容| |: |: | |作业所处课程| " 软件工程班级博客 " | |作业要求介绍| " 作业要求 " | |我在这个课程的目标|学习系统化、规范化、量化的方法在软件开发、操作和维护中的应用| |这个作业在哪个具 阅读全文

摘要： 软件工程第0次个人作业 =================== 作业介绍 |项目|内容| |: |: | |作业所处课程| " 软件工程班级博客 " | |作业要求介绍| " 博客 " | |我在这个课程的目标|学习系统化、规范化、量化的方法在软件开发、操作和维护中的应用| |这个作业在哪个具体方面 阅读全文

摘要： 一、测试与正确性论证的比较 程序测试是指测试者特意挑出一批输入数据，通过运行程序，检查每个输入数据所对应的运行结果是否符合预期要求。 正确性证明是论证程序达到预期目的的一般性陈述，而该论证与程序输入数据的特定值无关，能够代表穷举性测试。 （以上内容来自网络） 根据我的理解，测试与正确性比较的最大区别 阅读全文

摘要： 一、规格化设计的发展历史 从20世纪60年代开始，就存在着许多不同的形式规格说明语言和软件开发方法。在形式规格说明领域一些最主要的发展过程列举如下： 1969－1972 C.A.R Hoare撰写了"计算机编程的公理基础（An Axiomatic Basis for Computer Program 阅读全文

摘要： 第五次作业：多线程电梯 之前早就听说这次作业比较难，而且因为某些原因我开始的比较晚，导致很难按时完成作业，经过权衡，我放弃了这次作业。 第六次作业：文件监控 1、设计思路 和其他人的普遍认知一样，我也觉得这次作业不是很难。于是，我没有经过认真思考就开始写，写到一半之后，我才发现自己的代码构造有问题， 阅读全文

摘要： 学OO学了一个月，我感触良多。虽然这是我们第一次系统地学习面向对象，但其实从大一开始我们就已经接触了这种编程思想。在我们学Python的时候，就已经接触了类和对象的概念，只不过当时不作为重点内容而在教学中一带而过；在大二上学期，有些同学选了Java程序设计这门选修课，可以说也是提前接触了面向对象的编 阅读全文