摘要：
一． 第四单元架构设计总结 1.1 第一次作业 1.1.1 程序设计示意图 1.1.2 设计分析 第一次作业要求实现类图的设计。在这次作业中层次结构较为清晰，大致的设计思路为将Interface和class作为一层且共同继承classAbstractElement这一拟抽象类；其中class的下面一 阅读全文
|
摘要：
一． 第四单元架构设计总结 1.1 第一次作业 1.1.1 程序设计示意图 1.1.2 设计分析 第一次作业要求实现类图的设计。在这次作业中层次结构较为清晰，大致的设计思路为将Interface和class作为一层且共同继承classAbstractElement这一拟抽象类；其中class的下面一 阅读全文
摘要：
一． JML理论梳理 1.1 JML语言的理论基础 1.1.1 概述：Java建模语言（Java Modeling Language，JML）是一种进行详细设计的符号语言，他鼓励你用一种全新的方式来看待Java的类和方法。Java建模语言（Java Modeling Language，JML）在Ja 阅读全文
摘要：
一． 多项式求导问题描述 基本概念的声明： 带符号整数 支持前导 0 的带符号整数，符号可忽略，如：+02、-16、19260817 等。 因子 变量因子 幂函数 一般形式 由自变量x和指数组成，指数为一个带符号整数，如：x ^ +2。且，指数绝对值一律不得超过$ {10}^4 $。 省略形式 当 阅读全文
|