DaisukeMichaelis

摘要： 第四单元总结 第一次作业 第一次作业一开始，我自己把需要的部分元素实现了一遍，例如MyClass，MyInterface等，他们分别存储了相对应的UML Xxx类在查询时所需的信息，也按照逻辑存储了一些其他的信息，例如MyClass的父类id，参数，操作，关联项等等，这为下面的查询定下了不错的基础。 阅读全文

摘要： JML理论基础 基本概念 以下内容来自我~~瞎~~翻译的维基百科： JML是一种java的 规约语言 ，使用了Hoare风格的 前置，后置，和不变量 约束条件，用来遵守 契约式设计 的要求。 这里面指出了JML的几个特点： 是java使用的规约语言~~（递归查询Specification Langu 阅读全文

摘要： 第二单元闲话 前言 本文分为设计架构和统计分析，第三次作业详细分析，测试和代码对比，调度，以及感悟（废话） 调度部分单开章节叙述，不在设计架构内详述。 三次作业的设计架构 第一次作业 第一次作业时，我对多线程的理解不深刻，且充满恐惧。所以基本是在本地迭代来完成一点的的开发。基本源于经典的Produc 阅读全文

摘要： 一、前言 本单元的故事可以理解为：“多写少想闭门造车的血泪”。下文均围绕此主题展开。 二、基于度量来分析自己的程序结构 1.第一次作业 由于我并没有预料到将来作业的重构方向，于是当时留下的所谓“扩展接口”，后来都有点沦为无稽之谈。 第一次作业还算是完全在我的能力范围之内，经过pre的初步磨练，我选择 阅读全文