浏览全部资源
扫码关注微信
1. 北京邮电学院
2. 北京邮电学院 北京100083
纸质出版日期:1992
移动端阅览
[1]周晨,陈俊亮.SDL中ADT的CHILL实现与证明[J].通信学报,1992(03):1-6.
[1]周晨,陈俊亮.SDL中ADT的CHILL实现与证明[J].通信学报,1992(03):1-6. DOI:
DOI:
软件生产自动化是人们长期追求的目标。如今
在通信领域
软件自动化生产已成为现实。本文着重描述SDL到CHILL变换中
抽象数据类型(ADT)的CHILL实现
并证明了这种实现的正确性(使用IF-THEN-ELSE重写规则)。同时
我们提出了用CHILL实现ADT的一般方法。
0
浏览量
11
下载量
1
CSCD
关联资源
相关文章
相关作者
相关机构