摘要：
1-15 04. 二维数组中的查找 题设：在一个 n * m 的二维数组中，每一行都按照从左到右递增的顺序排序，每一列都按照从上到下递增的顺序排序。请完成一个函数，输入这样的一个二维数组和一个整数，判断数组中是否含有该整数。 示例： 现有矩阵 matrix 如下： [ [1, 4, 7, 11, 1 阅读全文
摘要：
1、第四单元作业架构总结 2、四个单元架构设计与OO方法理解的改进 3、四个单元测试理解与实践的改进 4、课程收获总结 5、对课程的建议 1、第四单元作业架构总结 第四单元的两次作业，从目标上总结，都是对给出信息进行分类整理，再对各个信息内部进行特定要求的查询。只要明确了各个指令的意义，便能知道怎样 阅读全文
摘要：
1、JML的理论基础，应用工具链情况。 2、使用OpenJML部署SMT Solver进行验证。 3、部署JMLUnitNG/JMLUnit自动生成测试用例。 4、分析架构设计与重构迭代情况。 5、分析bug与修复情况。 6、对规格撰写的心得体会。 1、JML的理论基础，应用工具链情况 JML(Ja 阅读全文
摘要：
作业设计与架构总结 基于度量工具的程序分析与评价 程序bug分析 测试分析 第三单元心得体会 1、作业设计与架构总结 1）第一次作业为傻瓜电梯，运行的基底标准为FAFS的调度策略。在这次作业中，由于自己是第一次接触多线程，便直接套用了《图解Java多线程设计模式》中的“生产者——消费者”模型。输入线 阅读全文
摘要：
摘要：不知不觉已经来到了大二的下学期，本学期我们又喜迎两大魔鬼课程——面向对象与操作系统，而这篇我在博客园上的开园之作便是OO的第一次博客作业辣。对于OO，我最最初的认识是通过中国大学慕课上的翁恺老师开设的面向对象课程，那时只是对Java与面向对象有了一个朦胧的认识，而回到学校并经过第一单元的学习之 阅读全文