节点文献

网络协议开发的形式方法

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 李楠； 杨培根； 周建强；

【机构】 南京大学计算机科学系； 南京大学计算机科学系；

【摘要】 本文论述了网络协议开发的形式方法。作者设计了精确描述协议需求的协议形式规范语言PSL(Protocol Specification Language),并开发了相应的协议验证和自动生成的支持工具。通过ISO/OSI虚终端协议机的形式开发实践表明:应用该方法可以提高软件的生产效率,改善软件的质量。

【关键词】 形式方法； 网络协议； 改善软件； 协议验证； 解释执行； 有限状态机； 抽象机； 协议描述； 自动工具； 协议形式；
  • 【文献出处】 计算机工程与应用 ,Computer Engineering and Applications , 编辑部邮箱 ,1990年Z1期
  • 【被引频次】2
  • 【下载频次】39
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)