浏览全部资源
扫码关注微信
北京邮电大学计算机科学与技术学院!北京100876
纸质出版日期:2000
移动端阅览
[1]王颖,倪朝,艾波.SDL形式语义定义现状及其改进[J].通信学报,2000(04):75-79.
[1]王颖,倪朝,艾波.SDL形式语义定义现状及其改进[J].通信学报,2000(04):75-79. DOI:
DOI:
SDL语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用
而SDL- 92的形式语义已无法充分满足应用需要
本文分析了现有形式语义定义的基本方法
指出其存在的主要不足
并针对SDL形式语义的定义方法提出了一种基于SDL未来发展方向的语义定义框架。
0
浏览量
111
下载量
2
CSCD
关联资源
相关文章
相关作者
相关机构