姜东胜
- 作品数：9 被引量：35H指数：4
- 供职机构：武汉大学数学与计算机科学学院更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于组件的软件开发方法及应用被引量：13
- 1999年
- 基于组件的软件工程（CBSE）受到了广泛的关注；本文介绍了CBSE的主要思想，并与传统软件开发方法进行比较；最后介绍了一个基于组件开发的网络通用软件体系结构。
- 周敬华周敬华李克清
- 关键词：组件软件开发软件工程面向对象
- 基于Petri网超媒体模型研究被引量：3
- 2000年
- 在分析当前超媒体形式化模型特点的基础上 ,本文提出一个全新的模型 - CPNH.它基于有色 Petri网 ,具有刻画分布超媒体主要性质的能力 .与其他模型相比该模型能够有效解决并发浏览、存取控制和版本问题 .而且有力刻画了分布环境下多媒体的动态特性 .文中着重给出了
- 张苓陈莘萌许卫平姜东胜
- 关键词：超媒体PETRI网多媒体
- 基于Petri网的超媒体模型HPN
- 1999年
- 提出一个基于Ｐｅｔｒｉ网的超媒体形式模型ＨＰＮ。着重给出ＨＰＮ模型的形式化定义并举例说明，阐述ＨＰＮ模型对超媒体若干性质的刻画。
- 张苓朱山风姜东胜陈宰萌
- 关键词：超媒体PETRI网多媒体
- 一种基于策略服务的模型被引量：1
- 2000年
- 随着网络的发展，网络的服务质量日益成为人们关注的热点问题。但迄今为止还没有一个有关策略控制的完善的体系结构。文章在前人研究的基础上，提出了一个基于策略服务的便于操作的逻辑结构。
- 李克清陈莘萌张苓姜东胜
- 关键词：服务质量网络安全INTERNET网防火墙
- 应用框架的形式化研究被引量：5
- 2000年
- 从软件体系结构的角度 ,运用 Z-规范在系统级描述了应用框架和设计样本的语义 ,包括设计样本的组成、联系、合成和运用设计样本组成应用框架等 ,与通常的非形式化方式 ,如图表、自然语言等描述形式相比 ,具有语义精确。
- 姜东胜张苓陈莘萌
- 关键词：软件体系结构软件工程形式化
- CLIP的安全性分析
- 1999年
- 本文分析了威胁ATM网络安全的攻击种类，指出了VLIP存在的安全漏洞，在此基础上提出了一种基于CLIP方式的ATM网络安全系统的设计模型。
- 姜东胜郭戈朱山风
- 关键词：CLIP计算机网络安全性ATMB-ISDN
- 双向多目文件推送系统被引量：5
- 1999年
- 与因特网上的 Ｈ Ｔ Ｔ Ｐ 相比，本文提出的基于因特网多目 Ｉ Ｐ 协议而设计的双向多目文件推送协议 Ｍ Ｆ Ｐ Ｐ，能将各种信息以文件形式可靠地推送到多个客户机，并提供了压缩合并客户机回应消息机制。因此多目推送具有节省网络带宽，减轻用户查找信息的负担。
- 李克清姜东胜周顺陈蓉西
- 关键词：INTERNET网
- 分布式系统软件体系结构的若干问题研究
- 分布式系统软件的开发是一直是软件开发人员和研究者关注的一个课题.该文简单介绍了分布式系统的特点、分类和分布式系统软件的开发,介绍了软件结构的研究背景和内容,包括软件体系结构模型,几种常见的软件体系结构风格和软件体系结构设...
- 姜东胜
- 关键词：分布式软件分布式对象技术软件体系结构软件工程
- 文献传递
- 运用CORBA的组件开发方法被引量：8
- 2000年
- 该文结合CORBA的特点,从软件体系结构的角度,提出了运用CORBA开发组件的方法和过程,能够有效地进行组件的开发.
- 钟杰萍姜东胜陈莘萌陈莘萌
- 关键词：CORBA组件开发软件工程软件开发
