Flymin

摘要： UML与解析架构 UML是什么 统一建模语言（英语：Unified Modeling Language，缩写 UML）是非专利的第三代建模和规约语言。UML是一种开放的方法，用于说明、可视化、构建和编写一个正在开发的、面向对象的、软件密集系统的制品的开放方法。UML展现了一系列最佳工程实践，这些最佳 阅读全文

摘要： 整体概述 这个单元整体围绕Java Model Language(JML)展开，通过学习JML规格了解契约式编程的过程，课上实验中进行了JML规格的简要编写，课下实验主要通过阅读规格并按照规格的要求正确编写程序实现相应的接口。 JML入门 JML作为一种建模语言，主要的功能就是通过逻辑推演的方式对程 阅读全文

摘要： 需求分析 官方需求 本次作业需要模拟一个多线程实时多电梯系统，从标准输入中输入请求信息，程序进行接收和处理，模拟电梯运行，将必要的运行信息通过输出接口进行输出。 本次作业电梯系统具有的功能为：上下行，开关门。本次多部电梯的可停靠楼层，运行时间，最大载客量都不相同。 电梯系统可以采用任意的调度策略，即 阅读全文

摘要： 2019 BUAA OO第一单元三次作业总结，实现了包括三角函数在内的多项式可嵌套函数求导，初次接触面向对象的编程方式。 阅读全文