hii77

摘要： [TOC] OO第四次博客作业 架构设计 需求分析 类图 建立类的单继承；类对接口的多实现；接口的多继承；类和接口各自的关联以及相互的关联。 检查类图合法性 顺序图 建立Lifeline和Endpoint间的消息通信。 状态图 建立各状态的条件转移。 抽象分层 类图 和 继承自同一父类 ，而对 内含 阅读全文

摘要： [TOC] Design by Contract JML语言的理论基础 "JML设计目的" 契约式设计是一种开发软件的方法，其背后的主要思想是一个类及其客户之间有“契约”。 客户必须在调用类定义的方法之前保证某些条件，而作为回报，类保证在调用过程中，调用结束后将保留的某些属性。 书写规范 JML以特 阅读全文

摘要： 关于外部工具引入 引入外部工具的大致原理是：在jetbrain中预设执行程序（Program）和程序执行参数（Arguments）。然后由jetbrain根据这些预设好的信息在terminal中生成引入外部工具的指令。如果遇到报错情况，可能是生成的命令本身执行存在问题。本文写的参数是在windows 阅读全文

摘要： [TOC] 引言 面向对象程序设计第二阶段的三次作业已经结束。此阶段的三次作业均是基于目的选层电梯的电梯系统设计，也是第一次关于JAVA多线程的阶段性作业。 第一次电梯作业 作业简介 基于先来先服务调度策略控制单部电梯进行人员运送。在评测中有时间限制，但无性能要求。 设计策略 线程模型：生产者 消费 阅读全文

摘要： [TOC] 引言： 面向对象程序设计课程第一阶段的三次作业已经结束。这个阶段的三次作业均是关于多项式求导，难度逐次递增，项目需要实现的功能逐渐丰富。本文按各次作业划分版块，每个版块主要以 代码设计 ， 程序度量分析 和 bug分析 三个方面来展开此篇博客的内容，其中bug分析包括 对自己程序的分析 阅读全文