摘要：
面向对象第三单元总结 第三单元的核心主题是有关JML规格相关内容的学习，主要解决的是工程中的设计正确性问题，实现形式化验证，以最为严谨的数学方法保证设计上的正确性。由于本单元的作业是迭代开发的，故以第三次作业作为分析样本。 实现规格所采取的设计策略 了解各部分之间大致架构，由易到难，由简入繁。在实现 阅读全文
摘要：
面向对象第二单元总结 第二单元的三次作业需要完成的任务分别为：单部电梯的一般运行，多部电梯的协同工作，多部多种类电梯的协同工作，下面为本单元三次作业的总结和分析。 一、同步块设置与锁的选择分析 第一次作业 在第一次作业中，我选择的同步块在输入线程InputThread和电梯运行线程Work中，选择的 阅读全文
摘要：
面向对象第一单元总结 第一单元的三次作业需要完成的任务分别为：多项式求导，简单三角函数和括号嵌套，三角函数内嵌套括号及格式检查，下面将以第三次的最终功能完善版代码来进行总结和分析。 一、基于度量分析程序结构 设计思路 首先在第一次作业中由于对于正则表达式运用的不熟练运用和设计的冗杂、不清晰导致作业失 阅读全文