摘要：
第四单元博客作业 [TOC] 本单元两次作业的架构设计 第1次作业 本次架构分为以下几个部分。 基础部分 官方输入接口提供的 等只提供了元素的id,name,类型等信息，不能方便地查询对应的信息。 因此，分别封装了 ,`UmlInterface UmlOperation`. 类 封装了 ，存放cla 阅读全文
摘要：
面向对象第三单元博客作业 [TOC] 针对第三单元的三次作业和课程内容，撰写技术博客 • (1)梳理JML语言的理论基础、应用工具链情况 • (2)部署SMT Solver，至少选择3个主要方法来尝试进行验证，报告结果 • 有可能要补充JML规格 • (3)部署JMLUnitNG/JMLUnit 阅读全文
摘要：
面向对象编程第2次总结（电梯作业） [TOC] 第5次作业 设计策略 ElevatorConfig：存放电梯的信息 Elevator：存储电梯状态 ElevatorControl：控制电梯 ElevatorRunnable：控制器线程 InvalidRequest：控制器接收到该类请求，停止电梯运行 阅读全文
摘要：
面向对象编程第1次总结 需求分析 这3次作业的题目要求是对表达式求导，同时需要判断错误输入。 显而易见，作业可以分成这些模块：输入输出，表达式解析，表达式求导。 所以，笔者的代码结构仿照工厂模式： 表达式解析单独为1个工厂类，根据字符串构造表达式对象。 表达式对象提供求导方法返回求导结果表达式，并重 阅读全文