文献检索-宁波市创意产业特色资源库

限定检索结果

检索条件"主题词=面向实现"

共 2 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

视图：

排序：

面向实现的协议形式化描述语言: 收藏
分享
引用; 《计算机工程与应用》2003年第19期39卷 81-83,145页; 作者：刘才兴肖德琴谢洁锐华南农业大学理学院计算机系中国科学院研究生院信息安全国家重点实验室北京100080; 该文在多种形式化描述语言(FDL)和时序逻辑原理的研究基础上,针对通讯协议的特点提出了一个协议模型思想,并设计了实现此模型的协议描述语言。该语言对事件有强的描述能力,并且引入了面向对象的概念,让描述更接近于现实;它扩展了对事件...; 该文在多种形式化描述语言(FDL)和时序逻辑原理的研究基础上,针对通讯协议的特点提出了一个协议模型思想,并设计了实现此模型的协议描述语言。该语言对事件有强的描述能力,并且引入了面向对象的概念,让描述更接近于现实;它扩展了对事件的描述,能描述事件的随机发生,笔者已将之成功地应用于对HTTP协议和HTTP-NG协议的描述。; 来源：详细信息评论

基于时序逻辑的面向实现的协议规范语言: 收藏
分享
引用; 《小型微型计算机系统》2004年第5期25卷 847-850页; 作者：刘才兴肖德琴张焕国邹华胜华南农业大学信息学院计算机科学与工程系广东广州510642 武汉大学计算机学院湖北武汉430072 温州师范学院计算机系浙江温州325027; 在多种形式化描述语言和时序逻辑原理的研究之上 ;针对通讯协议的特点提出一个协议模型思想 ,并设计了实现此模型协议描述语言 .本方法的特点是 :基于时序逻辑 ;引入了面向对象的概念 ,对事件有强的描述能力 ,让描述更接近于现实 ;扩展...; 在多种形式化描述语言和时序逻辑原理的研究之上 ;针对通讯协议的特点提出一个协议模型思想 ,并设计了实现此模型协议描述语言 .本方法的特点是 :基于时序逻辑 ;引入了面向对象的概念 ,对事件有强的描述能力 ,让描述更接近于现实 ;扩展了对事件的描述 ,能描述事件的随机发生 ,我们已将之成功地应用于对超文本协议的描述 .; 来源：详细信息评论

全选清除本页清除全部题录导出标记到“检索档案”

共1页<< <1> >>

聚类工具回到顶部