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