SDL中ADT的CHILL实现与证明

您当前的位置：

首页 >

文章列表页 >

SDL中ADT的CHILL实现与证明

更新时间：2024-10-14

- SDL中ADT的CHILL实现与证明
- Issue 3, Pages: 1-6(1992)
- 作者机构：
  
  1. 北京邮电学院
  2. 北京邮电学院北京100083
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：1992
- 稿件说明：
移动端阅览
[1]周晨,陈俊亮.SDL中ADT的CHILL实现与证明[J].通信学报,1992(03):1-6.

[J]. 1992, (3): 1-6.
[1]周晨,陈俊亮.SDL中ADT的CHILL实现与证明[J].通信学报,1992(03):1-6. DOI：

[J]. 1992, (3): 1-6. DOI：

软件生产自动化是人们长期追求的目标。如今

在通信领域

软件自动化生产已成为现实。本文着重描述SDL到CHILL变换中

抽象数据类型（ADT）的CHILL实现

并证明了这种实现的正确性（使用IF-THEN-ELSE重写规则）。同时

我们提出了用CHILL实现ADT的一般方法。

Views

524

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

一个SDL集成环境IES

Photoluminescence Properties of Si-based CeO₂ Films

On-orbit Data Calibration of FY-3A Solar Irradiance Monitor

Temperature Dependence of the Photoluminescence Properties and the Research on the Mechanism of In_0.2Ga_0.8As/GaAs Single Quantum Well

Influence of pH Value in Precursor Solution on the Component, Morphology and Photoluminescence of Ca₂Zn₄Ti₁₆O₃₈ ∶ Pr³⁺, Na⁺ Phosphor

Related Author

杨放春

袁迅

杨正球

罗刚

Related Institution

北京邮电学院北京 100088

AI问答

⁰