摘要：
一、作业架构分析 本单元是OO课程的最后一个单元，通过学习UML图的相关知识掌握模型化设计的思维方法，主要进行了对UML对象化语义表达方式的理解、对UML格式进行解析和语义提取相分离，了解常用的架构设计方法，并对模型图进行结构化的搜索，提取相关对象进行规则检查。 1.1、第一次作业 UML图 第一次 阅读全文
摘要：
一、JML语言介绍 1.1、JML简介 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言，基于Larch方法构建。BISL提供了对 方法和类型的规格定义手段。所谓接口即一个方法或类型外部可见的内容。JML主要由Lea 阅读全文
摘要：
一、作业分析 本单元作为OO课程第二单元，我们主要通过多线程的手段实现了电梯调度，通过我们平时比较熟悉的电梯来训练多线程编程，并重点培养我们线程安全的意识。本单元的作业难度相较于第一单元有所提升，究其原因是同学们是第一次接触多线程编程比较陌生，会出现很多莫名其妙的线程bug。 1、Homework1 阅读全文
摘要：
一、作业分析 本单元作为OO这门课的第一单元，作业难度总体来说不是特别大，三次递进式的作业每一次的作业相较于上一次作业难度和处理的复杂度逐渐平滑上升。这一单元的学习主要是培养我们面向对象编程的良好意识，能够根据对象的性质和关系进行多层次的规划并进行归一化的管理。 1、Homework1 1.1 程序 阅读全文