摘要：
软件工程结对项目 | 项目 | 内容 | |: |: | | 作业所属课程 | "软件工程 罗杰" | | 作业要求 | "结对项目" | | 项目地址 | "最长单词链" | 作业正文 一、给出Github项目地址 [项目地址]（https://github.com/Androider666/Wo 阅读全文
摘要：
软件工程 第一次阅读作业 ============================================================ |项目 |内容 | |: |: | |这个作业属于哪个课程 | "软件工程" | |这个作业的要求在哪里 | "第一次阅读作业" | |我在这个课程的目 阅读全文
摘要：
软件工程 第0次作业 ================== |项目 |内容 | |: |: | |这个作业属于哪个课程 | "软件工程" | |这个作业的要求在哪里 | "第0次作业" | |我在这个课程的目标是 |了解软件开发全过程，提高专业知识 | |这个作业在哪个具体方面帮助我实现了目标|吸取 阅读全文
摘要：
测试与正确性论证的效果差异及各自的优缺点： 测试针对一些典型的输入情况进行方法验证，可操作性更强，结果直观。但不能完全覆盖所有的输入情况。 正确性论证则是根据代码逻辑从所有的方面对方法进行论证，可操作性很差，工程量大，不过验证出来的结果更加可信。 OCL语言与JSF规格： OCL语言具有如下特点： 阅读全文
摘要：
从20世纪60年代开始，就存在着许多不同的形式规格说明语言和软件开发方法。在形式规格说明领域一些最主要的发展过程列举如下： 1969－1972 C.A.R Hoare撰写了"计算机编程的公理基础（An Axiomatic Basis for Computer Programming）"和"数据表示的 阅读全文
摘要：
第五次作业：三部电梯的多线程调度 度量分析： 类图： 度量分析中: scheduling方法是电梯调度的主要函数，由于需要依靠指令和电梯状态来判断同质与捎带等等，嵌套得比较深，另外函数体也过大，复杂度有点大 从类图中可以看出各个类之间还算均衡，电梯类比较大，主要是它要记录的一些状态及相关标记比较多， 阅读全文
摘要：
第一次作业： Metrics度量分析 博主第一次面向对象的java代码分析：第一次作业的目的是由面向过程到面向对象过渡，了解两者之间的区别。由于第一次写面向对象的代码，难免会有面向过程的习惯，正如有些同学调侃道：假装面向对象。博主的第一次作业的代码中也能明显看到过程化编程的痕迹，比如关于输入内容的处 阅读全文