摘要：
【2022春-面向对象】第四单元总结与课程总结 写在前面 本单元的主题是UML。 UML与JML一样都属于一种形式化的语言，而两者都是作为一种面向对象设计的工具而出现的。UML侧重于刻画类，接口及其之间的关系。本单元要做的事情则是通过这种语言形式，设计一个解析UML的工具。 一.第四单元架构 第一次 阅读全文
摘要：
【2022春-面向对象】第三单元总结 写在前面 本单元的主题是JML。 JML是一种形式化的语言，用来对类和方法进行规格化的描述。初见JML时可能需要花一定时间去理解其语法，而且会发现这样的语言理解起来十分费劲。例如一个“求图的最短路径”的方法可能需要几十行的JML描述。 这就是诸如JML这类形式化 阅读全文
摘要：
【2022春-面向对象】第二单元总结 写在前面 第二单元以电梯为情境，利用了多线程的方式解决问题。多线程，听起来很高深很复杂，实际上确实很复杂...... 但其实多线程需要解决的问题用一句话来说，就是：如何支持许多”程序“”同时“跑？ 这里的”程序“事实上就是线程，说成程序有失严谨，不过在写代码的层 阅读全文
摘要：
【2022春-面向对象】第一单元总结 一.架构生成思路 前言 第一单元围绕着表达式解析这一个大主题。在讨论具体如何实现表达式解析之前，我们首先要明确我们的任务是什么。 这个任务已经在课程组给出的三次作业的介绍的第一部分“训练目标”中体现： 第一次作业：通过对表达式结构进行建模，完成单变量多项式的括号 阅读全文