论文部分内容阅读
协议工程技术罗军舟，顾冠群（东南大学计算机系南京２１００９６）协议工程用形式化的方法描述在计算机网络协议严格的设计和维护中的各个活动，它是研究对象为协议的软件工程，但它建立一套比现有软件工作一般方法更严格、更数学化的协议设计方法。１协议工程活动协议工
协议工程技术
【摘 要】
：
协议工程技术罗军舟，顾冠群（东南大学计算机系南京２１００９６）协议工程用形式化的方法描述在计算机网络协议严格的设计和维护中的各个活动，它是研究对象为协议的软件工程，但它建立一套比现有软件工作一般方法更严格、更数学化的协议设计方法。１协议工程活动协议工...
【机 构】
：
东南大学计算机系
【出 处】
：
电信科学
【发表日期】
：
0年DXKX407.010期
其他文献
随着经济改革的深入发展，原来围绕财务收支事项，对会计资料进行繁杂抽查和详查，已变成一种低效的审计方法，已不适应当前形势发展的需要。因此，变革审计方法，提高审计工作效率和效果
马克斯·韦伯主要从社会、文化以及个人三方面阐述了西方理性主义的表现形式。他将合理性分为两种类型，一种是目的合理性，另一种是价值合理性。马克斯·韦伯认为，在资本
中国传统体育文化是我国各民族传统的养生、健身和娱乐体育活动的总称。中国传统体育文化有其自身的特征和价值，对现代体育具有互补、修正等作用。分析了影响传统体育文化可持
本文介绍了在ＮＥＡＸ６１Ｅ交换机的ＭＡＴ上访问交换机接口的方法，这个方法可以用来创建更友好的人机界面。
大学生宗教信仰问题是一个有着重大现实意义的社会问题,通过对大学生宗教信仰状况调查问卷的统计分析以及个案分析,了解大学生宗教信仰的基本状况,并进行相关理论思考,为深入
亚太地区的海底光缆网及其技术黄宇红（北京邮电大学北京１０００８８）１亚太地区的海底光缆网由于对通信服务的要求不断增长及光纤传输技术的显著提高，各国于７０年代后期都纷纷着手发展海底光缆系
<正> 过去,我矿的风电闭锁均采用 QC83-80或 QC833-120作为电源开关,随着掘进头刮板输送机的使用,负荷日益增大,经常烧坏,原因是 QC83-08或 QC83-120容量不够,后来用馈电开关