论文部分内容阅读
文中给出了小型文件传输协议ＴＦＴＰ的ＥＳＴＥＬＬＥ语言的形式化描述及自动生成工具ＥＩＴ，并对ＥＳＴＥＬＬＥ语言进行了扩展．引入限定注释机制，使描述功能增强，协议描述与实现环境更加独立，提高了协议软件的可移植性．
小型文件传输协议TFTP的形式化描述和自动生成工具EIT
【摘 要】
：
文中给出了小型文件传输协议ＴＦＴＰ的ＥＳＴＥＬＬＥ语言的形式化描述及自动生成工具ＥＩＴ，并对ＥＳＴＥＬＬＥ语言进行了扩展．引入限定注释机制，使描述功能增强，协议描述与实现环境更加独立，提高了协议软件的可移植性．
【机 构】
：
南京大学计算机科学与技术系,南京大学计算机软件新技术国家重点实验室
【出 处】
：
计算机研究与发展
【发表日期】
：
1997年S1期
其他文献
本文提出了扩充三级模式支持多介质数据库的方法,其核心是把概念模式分为三个描述层:基本描述层、构造描述层和应用描述层,并用嵌套关系定义、操纵以及生成基于多介质数据的
桃树流胶病多发生在桃、杏等核果类果树.在杏树上发生较为严重,使树势衰弱,严重的能使果树枯死.温室桃树流胶病有2种,一种是侵染性病害,是由真菌引起的;一种是非侵染性病害.
设计了一种LED驱动电路,采用对原边峰值电流进行检测并反馈控制的恒流方式,利用CHIPLINK公司低功率芯片CL1100作为反馈控制芯片,通过对开关电源拓扑结构进行研究设计,并对开
1986年10月,美国国家标准局(ANSI)通过SQL作为数据库语言的美国标准.此后不久,国际标准化组织(ISO)也作出了同样的选择.这使SQL成为关系数据库领域中的主流语言,对数据库技术
本文提出了一个基于类型理论的自动程序设计系统。系统把用户定义的关于各种问题的代数说明做为深度知识构成系统的深度知识库。对用户提出的一个问题的规范说明,系统给出符
农药要达到无公害,必须同时具备两大条件:一是有效成分对防治对象高效,对人畜、环境、天敌及作物无害或基本无害,对农产品不造成残留污染;二是农药的助剂无污染,剂型对环境安
据悉，中石化公司在重庆涪陵国家级页岩气示范区的页岩气井已开钻27口，完钻21口，投入试采水平井10口，平均单井产量为15×10^4m^3／d，累计实现商品气量近7300×10^4m^3。所产