摘要：
面向对象第三单元作业总结 JML语言和工具链 JML的基本语法 契约式设计或者Design by Contract (DbC)是一种设计计算机软件的方法。这种方法要求软件设计者为软件组件定义正式的，精确的并且可验证的接口，这样，为传统的抽象数据类型又增加了先验条件、后验条件和不变式。这种方法的名字里 阅读全文
摘要：
OO第二单元作业总结 第一次作业 作业任务描述 设计一个单部多线程傻瓜调度(FAFS)电梯的模拟， 输入为人的ID， 起始楼层和终点楼层， 电梯调度算法要把人送到指定楼层。 问题建模 在这次作业中， 我对问题用一下的方式建模 人在终端中输入请求， 进入request pool, 然后一个电梯从req 阅读全文
摘要：
面向对象第一次作业总结 多项式求导问题描述 定义多项式 首先是一些基本概念的声明： 带符号整数 支持前导 0 的带符号整数，符号可忽略，如： 、` 16 19260817` 等。 因子 变量因子 幂函数 一般形式 由自变量x和指数组成，指数为一个带符号整数，如： 。 且，指数绝对值一律不得超过$ { 阅读全文
摘要：
s是 早期的计算机编程是基于面向过程的方法，例如实现算术运算1+1+2 = 4，通过设计一个算法就可以解决当时的问题。随着计算机技术的不断提高，计算机被用于解决越来越复杂的问题。一切事物皆对象，通过面向对象的方式，将现实世界的事物抽象成对象，现实世界中的关系抽象成类、继承，帮助人们实现对现实世界的抽 阅读全文
摘要：
早期的计算机编程是基于面向过程的方法，例如实现算术运算1+1+2 = 4，通过设计一个算法就可以解决当时的问题。随着计算机技术的不断提高，计算机被用于解决越来越复杂的问题。一切事物皆对象，通过面向对象的方式，将现实世界的事物抽象成对象，现实世界中的关系抽象成类、继承，帮助人们实现对现实世界的抽象与数 阅读全文