检索结果-内蒙古大学图书馆

软件学报 2000年第5期11卷 606-615页

作者：罗军舟 *** 沈俊顾冠群东南大学计算机科学与工程系

协议是计算机网络的命脉 ,协议复杂性的提高导致了协议工程学科的出现 .该文首先分析了协议工程各项活动的内容、方法和相互关系 ,讨论了各种形式描述技术 ( formal description technique,简称 FDT)的特性及其优缺点 ,从而引出基于 Pe... 详细信息

协议是计算机网络的命脉 ,协议复杂性的提高导致了协议工程学科的出现 .该文首先分析了协议工程各项活动的内容、方法和相互关系 ,讨论了各种形式描述技术 ( formal description technique,简称 FDT)的特性及其优缺点 ,从而引出基于 Petri网理论的 FDT.该文说明了 Petri网作为协议描述技术的优势 ,指出当前基于Petri网的协议工程研究的难点 ,其中面向协议开发的网工具是一项重要的研究内容 .按照开放系统互连参考模型的层次 ,总结了国际上的研究进展情况 ,并阐述了未来的研究趋势 .最后从协议描述、协议验证与分析以及辅助测试与实现这 3个角度给出了基于

关键词：协议工程形式描述 Petri网计算机网络

来源：评论

学校读者我要写书评

暂无评论

协议工程行为模型的研究

引用

计算机科学 1993年第5期20卷 21-26页

作者：李腊元武汉水运工程学院武汉430063

近年,随着计算机网络和分布式系统的不断发展,各类新型通信技术和分布式应用已开始出现,其中主要包括高速光纤网、多介质通信、宽带综合业务数字网(B-ISDN)、智能网,以及综合语音、数据和图象服务等。它们已对计算机通信协议的设计和实... 详细信息

近年,随着计算机网络和分布式系统的不断发展,各类新型通信技术和分布式应用已开始出现,其中主要包括高速光纤网、多介质通信、宽带综合业务数字网(B-ISDN)、智能网,以及综合语音、数据和图象服务等。它们已对计算机通信协议的设计和实现带来了很大影响。为了适应这种形势的发展,一门新兴的高科技学科—协议工程已应运而生。协议工程本质上是计算机硬件工程和软件工程的理论方法在通信协议设计和实现中的具体应用,但由于协议具有实时、互操作和同步性等特点,因而其复杂度又要比一般传统软件大得多。协议工程的主要研究目标是使协议软件的生产怎样更好地实现规范化、工程化和自动化。

关键词：协议工程模型计算机网络

来源：评论

学校读者我要写书评

暂无评论

协议工程概论与进展

引用

计算机科学 1990年第6期17卷 16-21页

作者：肖军模徐越彦

来源：评论

学校读者我要写书评

暂无评论

协议工程方法学综论

引用

通信学报 1990年第2期11卷 47-54,59页

作者：史美林朱劲松清华大学计算机系

协议工程是计算机通信及网络研究中正在发展着的一个重要领域,其主要目的在于提供开发协议软件的一个系统方法。本文试图对协议工程系统的基本概念、特性、组成部分及其方法研究作一个简明而又系统的概括,特别要探讨在OSI环境下协议系... 详细信息

协议工程是计算机通信及网络研究中正在发展着的一个重要领域,其主要目的在于提供开发协议软件的一个系统方法。本文试图对协议工程系统的基本概念、特性、组成部分及其方法研究作一个简明而又系统的概括,特别要探讨在OSI环境下协议系统的开发方法。这一研究反映了通信及网络协议研究中软件生产自动化的要求。

关键词：协议工程计算机通信网络

来源：评论

学校读者我要写书评

暂无评论

协议工程和协议性能测试框架

引用

计算机工程与应用 2003年第33期39卷 171-174页

作者：熊伟王军肖德宝华中师范大学计算机科学系武汉430079

随着计算机网络技术和网络应用的迅速发展,网络协议性能测试变得越来越重要。该文主要论述了协议工程的活动、方法及其开发过程,并对协议性能测试技术做了较详细的描述,然后论述了性能测试的结构框架,最后描述了性能测试的各个阶段。

关键词：协议工程协议测试协议性能测试

来源：评论

学校读者我要写书评

暂无评论

协议工程的形式描述技术

引用

系统工程与电子技术 1992年第11期14卷 56-63页

作者：李腊元武汉水运工程学院

本文讨论适应于协议工程的形式描述技术。文中以一个通信系统为例子,论述和分析了Petri网、LOTOS、关系表示法、Z表示法,以及面向对象Z等形式描述技术的形式描述风格及其特征。

关键词：计算机网络协议工程通信系统

来源：评论

学校读者我要写书评

暂无评论

协议工程技术

引用

电信科学 1994年第7期10卷 57-59页

作者：罗军舟顾冠群东南大学计算机系

协议工程技术罗军舟，顾冠群（东南大学计算机系南京２１００９６）协议工程用形式化的方法描述在计算机网络协议严格的设计和维护中的各个活动，它是研究对象为协议的软件工程，但它建立一套比现有软件工作一般方法更严格、更数学化的... 详细信息

协议工程技术罗军舟，顾冠群（东南大学计算机系南京２１００９６）协议工程用形式化的方法描述在计算机网络协议严格的设计和维护中的各个活动，它是研究对象为协议的软件工程，但它建立一套比现有软件工作一般方法更严格、更数学化的协议设计方法。１协议工程活动协议工...

关键词：计算机网络协议工程软件工程

来源：评论

学校读者我要写书评

暂无评论

协议工程形式化方法的研究及辅助设计工具的实现

引用

西北大学学报（自然科学版） 1996年第1期26卷 21-25页

作者：党华锐西北大学计算机科学系

采用工程的方法对计算机通信协议形式化理论进行了研究，并详细叙述了所设计的、基于Ｐｅｔｒｉ网理论的辅助设计工具Ｐｅｔｏｎ，是对“协议工程”方法学的一种补充。

关键词：计算机网络通信协议协议工程形式化

来源：评论

学校读者我要写书评

暂无评论

基于知识工程的协议工程

引用

电子学报 1991年第5期19卷 96-101页

作者：张尧学史美林清华大学计算机科学与技术系

本文综述和讨论知识工程技术在协议工程中的应用问题。首先,我们介绍什么是知识工程和协议工程。然后,我们讨论传统的协议开发模式——生命周期模式中所存在的主要问题并指出如何用知识工程的方法去解决。在此基础上,我们提出了两种把... 详细信息

本文综述和讨论知识工程技术在协议工程中的应用问题。首先,我们介绍什么是知识工程和协议工程。然后,我们讨论传统的协议开发模式——生命周期模式中所存在的主要问题并指出如何用知识工程的方法去解决。在此基础上,我们提出了两种把知识工程应用于协议工程的方式:即对生命周期模式改革的方式和对共进行革命的方式。最后我们指出:把知识工程应用于协议工程将使得开发人员的经验和知识得以共享,从而将使得协议开发的质量和效率提高;而且,知识工程技术的应用将会大大地增加协议各开发环节的动态反馈和使得协议与开发系统易于维护。

关键词：知识工程协议工程计算机网络

来源：评论

学校读者我要写书评

暂无评论

CCS及其在协议工程中的应用

引用

计算机工程与科学 1994年第3期16卷 51-56页

作者：龚正虎国防科技大学计算机研究所

本文讨论的两个案例表明，通讯系统演算ＣＣＳ（ａＣａｌｃｕｌｕｓｆｏｒＣｏｍｍｕｎｉｃａｔｉｎｇＳｙｓｔｅｍｓ）在协议描述、协议验证等方面有很大应用潜力。

关键词： CCS 协议工程计算机网络分布式系统

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：