摘要:
(1)总结本单元三次作业的架构设计 第一次:采用包装官方包类的方法,把每个类型的元素和其需要知道的信息包装在一起,形成树状结构。其中最主要的是MyUmlClass,它包含类的属性、方法、相关类等信息。MyUmlClass具备处理针对类内部情况的问询的能力,同时提供与之相关类的指针。MyUmlInte 阅读全文
摘要:
1.梳理JML语言的理论基础、应用工具链情况 JML简介: JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言(Behavior Interface Specification Language, BISL),基于La 阅读全文
摘要:
(1)从多线程的协同和同步控制方面,分析和总结自己三次作业的设计策略 第一次作业采用SSTF策略,InputHandler和Elevator两个线程共享一个RequestList。InputHandler处理输入请求,Elevator负责运行,RequestList接受、存放和调度请求。后两次作业与 阅读全文