swampx

摘要： 第四单元总结暨课程总结 一、作业分析： 1.第一次作业 这一次的作业是需要完成的任务为实现一个UML类图分析器UmlInteraction，学习目标为UML入门级的理解、UML类图的构成要素及其解析方法。 在刚拿到作业代码的时候感觉很懵，原因就是整个程序架构太庞大，代码非常多。但实际上需要我们理解的 阅读全文

摘要： 第三单元总结 1.JML语法基础与工具 （1）JML表达式 JML的表达式是对Java表达式的扩展，新增了一些操作符和原子表达式。同样JML表达式中的操作符也有优先级的概念。 1 原子表达式 \result表达式：表示一个非void类型的方法执行所获得的结果，即方法执行后的返回值。 \old(exp 阅读全文

摘要： oo第二单元总结 1.程序分析 homework_4 本单元第一次作业要求实现一个单个电梯调度系统。这次作业难度其实并不大，但由于是第一次接触多线程编程，对很多地方都出现了问题（主要是wait方法与notifyAll方法当时还不是很理解）。 整体构思是一个最简单的生产者—消费者模型，这里除了主类之外 阅读全文

摘要： oo 第一单元总结 程序分析 homework_1 第一周的任务相对来说比较简单（当然是现在看来）。只涉及到了最简单的幂函数求导。当时对我来说最大的难点在于正则表达式的使用，我上网学习了很多正则表达式的基本语法，以及功能强大的Pattern类以及Matcher类。我的绝大多数正则表达式相关知识是在下 阅读全文