eleony

摘要： 面向对象第四单元及课程总结 第四单元作业架构分析 本单元需要解析UML模型，主要依托树作为核心数据结构来表示UML各种类型的图，并在这个结构的基础上进行相应的查询操作。由于从输入接口中得到的UML元素是不可继承的，因此在utils.node子包下，运用适配器模式的思想创建了若干个官方包中UML元素的 阅读全文

摘要： 一、JML语言 1.理论基础 1.规格化设计 类是一个编程单位，类规格定义了类实现者和类使用者之间的契约：类实现者信任使用者能够确保所有前置条件都能被满足，类使用者信任设计者能够有效管理相应的数据和访问安全。通过这样规格契约的连接，系统的较低层次为系统的较高层次提供了服务接口，从而协同系统不同层次的 阅读全文

摘要： 多线程模拟电梯系统 阅读全文

摘要： 通过三次迭代的表达式求导任务建立对面向对象程序的初步认识，并熟悉面向对象的思维和编程方法。 阅读全文