摘要：
一、UML单元总结 本单元的两次任务都是解析UML图文件，区别仅仅在于第一次只处理类图，而第二次则是捎上了流程图与状态图。第一次作业，居然时隔半年又一次只用了一个类（上一次应该是寒假作业的A+B......），但是个人认为架构上并没有偷懒。实际上仔细想来，第一次任务需要统计的量其实都需要若干个数据结 阅读全文
摘要：
一、JML(Java Model Language)的理论基础与工具链 JML是用于对Java程序进行规格化描述的一种表示语言，广泛应用于契约式设计（Design by contract），形式化证明（Formal validation）等等理念当中。它是一种行为接口规格语言（Behavior In 阅读全文
摘要：
序：多线程究竟“多”了什么？ 首先还是要澄清一下并行（Parallel）和并发（Concurrency）的区别，许许多多的网站或者教材对于这两个概念都下了科学而准确的定义，却往往还是令人摸不到头脑，至少我曾经一阵子就觉得似乎只要是一堆事情同时进行就是并发或者并行。因此，从实用主义角度出发，这里我不在 阅读全文
摘要：
一， 基于经典度量的分析 作业1：多项式 “天地玄黄，宇宙洪荒。日月盈昃，辰宿列张。”——《千字文》 由于刚刚接触Java语言，对于很多功能，比如正则表达式，StringBuffer,ArrayList等必不可少的功能与结构还相当陌生。另一方面，“对象”的概念彼时刚刚进入我们的世界。虽然从形而上的角 阅读全文