[00885875]计算机网络协仪软件自动生成环境
联系人：
所在地：
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
登录后向技术服务商咨询
发布技术需求
服务免费，交易还可领红包哦
技术详细介绍
：计算机网络协议软件自动生成环境（ＥＰＡＩ）是一个较大的软件工程项目。该项目以形式描述语言ＥＳＴＥＬＬＥ、ＡＳＮ．１为核心，建立了一套比较完整的面向国际标准语言和自动实现工具的环境。该环境可以高效率地支持网络协议工程（从规范设计到协议测试序列生成的各个阶段的工作）。该系统也适用于支持设计开发其它复杂的大型软件工程项目，如分布式系统软件，并发程序设计等等。该项研究成果可以高效、可靠和自动化地开发网络和其它软件产品，提高产品质量，缩短开发周期。随着软件产品的需求和价格日益增长及高层次软件开发人员的短缺，该项成果的推广应用将会产生直接和间接和经济效益，可节省大量外汇，具有很大的经济效益和社会效益。它作为自动化软件生成的工作母机，对发展高技术软件有实用价值。