摘要：
第四单元两次作业总结 第十三次作业 需求分析 本次作业需要完成一个UML类图解析器，所需要解析的只有符合UML标准和能够在Java 8中复现的UML类图。查询指令存在两种：仅与所查对象有关的指令，以及需要回溯至顶级父类逐层查询的指令。 实现方案 本次作业需要我们对类图中的组成元素进行重新建模，建模时 阅读全文
摘要：
一、JML简介 1.1 JML与契约式设计 说起JML，就不得不提到契约式设计（Design by Contract）。这种设计模式的始祖是1986年的Eiffel语言。它是一种限定了软件中每个元素所必需的责任与义务的开发模式，程序设计中的每个元素都需要用规范的语言精准地限定其前置条件（Precon 阅读全文
摘要：
本文是针对北航OO规格化单元的Maven和Junit简单用法教程，希望能给大家带来更好的项目管理、OpenJML和单元测试体验~ 阅读全文
摘要：
一、三次作业总结 1. 说在前面 对于这次的这三次电梯作业，我采用了和几乎所有人都不同的架构：将每个人当作一个线程。这样做有一定的好处：它使得整个问题的建模更加自然，并且在后期人员调度变得复杂时，可以将调度器上纷繁的逻辑判断分布在不同的人身上，大大简化了代码逻辑。对于程序复杂度，将人作为某个容器中的 阅读全文
摘要：
近三周以来的思考、欢乐与伤感都在这篇总结里了，希望能对大家有所帮助~ 阅读全文