|
|||||
|
|
| 网络协议开发的形式方法 | |
| 引用本文： | 李楠,杨培根,周建强.网络协议开发的形式方法[J].计算机工程与应用,1990(Z1). |
| 作者姓名： | 李楠 杨培根 周建强 |
| 作者单位： | 南京大学计算机科学系，南京大学计算机科学系，南京大学计算机科学系 |
| 摘 要： | 本文论述了网络协议开发的形式方法。作者设计了精确描述协议需求的协议形式规范语言PSL(Protocol Specification Language),并开发了相应的协议验证和自动生成的支持工具。通过ISO/OSI虚终端协议机的形式开发实践表明:应用该方法可以提高软件的生产效率,改善软件的质量。 |
| 本文献已被 CNKI 等数据库收录！ | |