摘要：
BUAA ObjectOriented Unit4总结 && 课程总结 概括来说，本单元就是通过对输入的类图、顺序图、状态图进行分析，以一种比较好的方式存储相关内容，以便之后检测该模型是否符合规范，并通过指令查询相关信息，总的来说实现还是比较简单的（但还是要小心，因为要考虑的边界情况有非常多）。 阅读全文
摘要：
BUAA ObjectOriented Unit3总结 概括来说，本单元的任务就是在JML语言所描述的规格下维护一个社交网络系统，实现对该系统的一系列操作。单纯就难度而言，只要跟着规格说的来写就一定不会出错，从这方面来看难度确实不大，但如果完全按照规格来，一定会TLE很多点，所以要在理解规格的基 阅读全文
摘要：
BUAA ObjectOriented Unit2总结 总的来说，第二单元的作业是通过$Java$的多线程来模拟北航新主楼的电梯接人。第一次作业中，每栋楼只有一部纵向电梯；第二次作业中，除每栋楼初始的一部纵向电梯外，还可以新加横向电梯和纵向电梯；第三次作业中，需要实现乘客在不同的纵向电梯及横向电 阅读全文
摘要：
BUAA ObjectOriented Unit1总结 阅读全文