摘要： 一、本单元三次作业总结 1、第一次作业 我觉得第一次作业最大的难点其实是对给出的代码的理解，刚开始看到一堆json什么的代码就一点也不理解……直达这个单元结束，对好多官方提供的代码还不是很明白（后来发现主要理解那些elements就可以完成作业，对别的代码也就没有深究）。第一次作业主要是考虑类图的理 阅读全文

摘要： 一、JML的语言基础、应用工具链的情况 1.1JML理论基础 JML是对JAVA程序进行规格化设计的一种表示语言。可以用来开展规格化的设计，也可以针对已有的代码写出其规格，从而方便进行维护和提高可读性。 在我看来JML更像是离散数学中的数理逻辑，满足一定的条件就会推出想要的结果，也显示出一种契约式编 阅读全文

摘要： 一、概述 本单元通过多线程实现电梯调度，和上一单元相比较，更加侧重于线程的安全的模式。相较于上一单元难度有提高，整体来看，没有第一单元的学习结果好，三次作业中第一次第二次作业比较顺利，第三次作业因为线程安全的问题最后是无效作业，比较让人头痛。在调度策略上三次作业都选择了指导书中的ALS调度策略，没有 阅读全文

摘要： 一、三次作业 1、第一次作业 自我评价总结：在第一次作业中仅仅涉及到简单的幂函数的求导，程序要处理的问题并没有十分复杂。经过了pre的预习，对使用正则表达式提取出需要的项也有一定的掌握，刚开始接触面向对象，在开始写程序的时候就比较不好地保持了写C语言代码的习惯，在第一次作业中 一Main到底，对读入 阅读全文