姜东胜

作品数:8被引量:10H指数:2
导出分析报告
供职机构:武汉大学数学与计算机科学学院更多>>
发文主题:软件工程软件开发INTERNET网软件体系结构超媒体更多>>
发文领域:自动化与计算机技术电子电信更多>>
发文期刊:《计算机工程与设计》《计算机工程与应用》《计算机应用研究》《小型微型计算机系统》更多>>
所获基金:国家高技术研究发展计划更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-8
视图:
排序:
应用框架的形式化研究被引量:2
《武汉大学学报(自然科学版)》2000年第3期285-288,共4页姜东胜 张苓 陈莘萌 
从软件体系结构的角度 ,运用 Z-规范在系统级描述了应用框架和设计样本的语义 ,包括设计样本的组成、联系、合成和运用设计样本组成应用框架等 ,与通常的非形式化方式 ,如图表、自然语言等描述形式相比 ,具有语义精确。
关键词:应用框架 软件体系结构 软件工程 形式化 
基于Petri网超媒体模型研究被引量:2
《小型微型计算机系统》2000年第5期537-540,共4页张苓 陈莘萌 许卫平 姜东胜 
在分析当前超媒体形式化模型特点的基础上 ,本文提出一个全新的模型 - CPNH.它基于有色 Petri网 ,具有刻画分布超媒体主要性质的能力 .与其他模型相比该模型能够有效解决并发浏览、存取控制和版本问题 .而且有力刻画了分布环境下多媒体...
关键词:超媒体 形式化模型 PETRI网 多媒体 
一种基于策略服务的模型被引量:1
《计算机工程与应用》2000年第9期137-139,共3页李克清 陈莘萌 张苓 姜东胜 
随着网络的发展,网络的服务质量日益成为人们关注的热点问题。但迄今为止还没有一个有关策略控制的完善的体系结构。文章在前人研究的基础上,提出了一个基于策略服务的便于操作的逻辑结构。
关键词:服务质量 策略服务 网络安全 INTERNET网 防火墙 
运用CORBA的组件开发方法
《计算机工程与应用》2000年第10期94-96,共3页钟杰萍 姜东胜 陈莘萌 张苓 
该文结合CORBA的特点,从软件体系结构的角度,提出了运用CORBA开发组件的方法和过程,能够有效地进行组件的开发.
关键词:CORBA 组件开发 软件工程 软件开发 
基于组件的软件开发方法及应用被引量:2
《计算机应用研究》1999年第10期74-75,共2页周敬华 姜东胜 李克清 
基于组件的软件工程(CBSE)受到了广泛的关注;本文介绍了CBSE的主要思想,并与传统软件开发方法进行比较;最后介绍了一个基于组件开发的网络通用软件体系结构。
关键词:组件 软件开发 软件工程 面向对象 
双向多目文件推送系统被引量:3
《计算机应用研究》1999年第9期43-44,共2页李克清 姜东胜 周顺 陈蓉西 
与因特网上的 H T T P 相比,本文提出的基于因特网多目 I P 协议而设计的双向多目文件推送协议 M F P P,能将各种信息以文件形式可靠地推送到多个客户机,并提供了压缩合并客户机回应消息机制。因此多目推送具有节省网络...
关键词:INTERNET网 多目文件推送 MFPP协议 
基于Petri网的超媒体模型HPN
《计算机工程与设计》1999年第6期1-6,共6页张苓 朱山风 姜东胜 陈宰萌 
国家863高科技项目基金
提出一个基于Petri网的超媒体形式模型HPN。着重给出HPN模型的形式化定义并举例说明,阐述HPN模型对超媒体若干性质的刻画。
关键词:超媒体 PETRI网 HPN模型 多媒体 
CLIP的安全性分析
《计算机应用研究》1999年第5期52-54,共3页姜东胜 郭戈 朱山风 
本文分析了威胁ATM网络安全的攻击种类,指出了VLIP存在的安全漏洞,在此基础上提出了一种基于CLIP方式的ATM网络安全系统的设计模型。
关键词:CLIP 计算机网络 安全性 ATM B-ISDN 
检索报告 对象比较 聚类工具 使用帮助 返回顶部