Hydride

摘要： oo第四单元总结 1.作业架构设计 第四单元的前两次作业是对UML模型文件进行解析，主要关注类图、顺序图和状态图模型层次的语义观察，UML模型间关系，模型图表达的内容及关系，模型图之间的关系和一致性检查。第三次作业针对UML有效性检查，根据所给规则检查模型有效性。 1.1第一次作业 主要实现了对UM 阅读全文

摘要： 1 JML语言的理论基础及应用工具链 1.1 JML语言 Java建模语言(JML)是一种行为接口规范语言，可用于指定Java模块的行为。它结合了Eiffel的“契约设计(design by contract)”方法和Larch系列接口规范语言的基于模型的规范方法，以及细化演算的一些元素。对JML语 阅读全文

摘要： 前言 又到了一个月一次的写博客环节，相比于上一个月，这一个月的OO作业完成的稍微顺利了一点，但随着学习的深入，其他科目的作业量加大，这门依然最硬的课也让我感到了不小的压力。这一单元的任务是多线程编程，以经典的电梯调度作业（据说已有五六年历史的北航传统作业）迭代极大地锻炼了我们的多线程编程和调试能力。 阅读全文

摘要： 前言 似乎还没有从放假的氛围缓过神来，我就投入到了紧锣密鼓的OO课程学习中。在这一个月中，有很多让我不禁暗叹OO课程果然名不虚传的时候，也有很多让我深夜上头熬到三点的时候...但经历了这些，我真的收获颇多。作为一个没有学过JAVA的新手，我经历了从零开始的JAVA世界生活，感受到了，在一门课程的强大 阅读全文