《表3 约束规范的元素之间的映射》
提示：宽带有限、当前游客访问压缩模式
基于AOP的契约与JML契约在前置条件和后置条件以及不变量约束上均存在着一定的映射关系，使得2种契约之间的转换成为可能，2种契约的元素之间的对应关系如表3所示。
| 图表编号 | XD00173696700 严禁用于非法目的 |
|---|---|
| 绘制时间 | 2020.08.01 |
| 作者 | 张进、何成万、石尤 |
| 绘制单位 | 武汉工程大学计算机科学与工程学院、武汉工程大学计算机科学与工程学院、武汉工程大学计算机科学与工程学院 |
| 更多格式 | 高清、无水印（增值服务） |
相关图表
- 《表3 CPC十进制编码与UCode二进制编码之间的映射》2020.09.01
- 《表2 CPC十进制编码与UCode二进制编码之间的映射》2020.09.01
- 《表2 CPC十进制编码与UCode二进制编码之间的映射》2020.09.01
- 《表1 源域和目标域之间的映射》2021.01.25
- 《表1 神经外科患者规范化身体约束管理的审查指标》2020.10.10
- 《表3 人体其他部位之间的约束关系》2020.11.25
- 《表1 C接口定义及与SV语言之间的数据类型映射》2020.08.25
- 《表1 思政映射与融入点：《机械制造工艺学》课程中思政元素的探索》2020.08.15
- 《表3 元素之间的混合焓》2020.01.20
- 《表1 an c、an s与载波相位及3比特码之间的映射关系》2020.03.28
- 《表4 工具分类映射：铁路信号产品中安全相关工具规范研究》2019.07.25
- 《表1 信号比特与特征值λ之间映射关系》2019.06.15
- 《表3 影响护士应用品管圈规范产后随访效果的六个维度之间的相关性》2019.03.01
- 《表1 元素提取：基于情感映射方法的校园文化纪念品设计研究》2019.07.20
- 《表1 核心构件与AADL组件之间的映射关系》2019.01.16
- 《表4 目标毁伤与效能衰减之间映射关系表》2019.02.01
- 《表3 CSR、融资约束和研发投入之间关系回归分析》2019.03.20
- 《表1 LTE-A与WLAN之间的QoS映射》2018.02.10
- 《表1 构件之间的约束关系》2018.03.25
- 《表2 算子结构与地理信息之间的映射Tab.2 Mapping between operator structure and geographic information》2018.10.25