摘要：
第四单元代码架构 作业架构 -MyClass -MyOperation -MyParameter -MyAttribute -MyInterface -MyAttribute -MyGeneration -MyClass -MyInterface -MyStateMachine -MyRegion 阅读全文
摘要：
基于JML规格的测试方法 在第三单元的学习中，学习了JML的基本知识，基于JML规格逐步拓展我们要实现的社交网络。而在基于JML的编程可以认为是一种契约式编程，即我们需要读懂JML规格的要求，然后完成我们的任务以满足JML的要求，这里面就涉及到了前置条件，以及后置条件，以及如ensure和invar 阅读全文
摘要：
第五次作业分析 第五次作业是多线程单元的第一次作业，总体难度不大，对多线程的使用要求也较低，我们只需要设计一个输入线程，分发线程（scheduler），和电梯线程即可完成任务。 而为了能够使三者配合起来完成任务，我们需要利用到一个请求队列作为共享对象。基本思路是一个电梯对应的一个他需要处理的队列，电 阅读全文
摘要：
第一单元总结 第一单元架构图 UML类图 第一次作业分析 第一次作业要求完成最简单的表达式展开，但是开始的时候还是没有什么头绪。在仔细阅读了training给出的参考代码后，我开始试图从面向对象的角度来重新思考问题。其实我认为设计的架构可以由形式化表达自然而然的生成，即表达式 → 项 → 因子的思路 阅读全文