李传湘
- 作品数：11 被引量：123H指数：4
- 供职机构：武汉大学计算机学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 软件可靠性混沌模型被引量：21
- 2001年
- 在分析软件失效机理后认为 :有些软件失效行为具有混沌性 ,所以可以用混沌方法来处理其软件可靠性推断问题 .但在应用混沌方法前先要进行系统辨识 ,确定为混沌系统后 ,才能应用嵌入空间技术从软件失效时间序列重建系统相空间和吸引子 ,进而用吸引子所揭示的混沌属性来估计软件可靠性 .文中在三个标准数据集的基础上对此进行了实证分析 ,结果表明其中两个数据集源于混沌机制 ,他们的吸引子具有低维的小数极限维数 ,而且预测与实际可靠性吻合较好 .值得指出的是文中所提混沌方法突破了软件可靠性一贯使用随机分析的局限 .
- 邹丰忠李传湘
- 关键词：软件工程混沌
- 双随机软件可靠性模型的建模被引量：9
- 1998年
- 本文在仔细分析了软件故障的物理过程及模型机理后，认为：由于软件故障过程的随机因素太复杂以致于用某一个传统随机过程不足以为软件故障过程建模．传统上采用的马尔可夫非齐次泊松过程模型或二项型式模型只能部分地表述软件的故障行为．若要全面地去表述软件的故障行为，就需要一个补偿随机过程．也就是说本文采用了两个随机函数来为软件故障行为建模．
- 邹丰忠李传湘
- 关键词：软件可靠性模型软件开发
- 软件可靠性模型的补偿算法被引量：2
- 1999年
- 世界上已发表了四十多个软件可靠性模型，但使用情况不尽如人意．提出了模型的补偿算法，实验研究结果表明，该算法能有效地改善模型的精度及适应性．
- 邹丰忠李传湘
- 关键词：软件工程
- 字集的识别模型
- 1998年
- 在[2]中，讨论了符号字表达式的归约问题．在字归约定理的基础上，该文将研究字集X5的归约结构及其识别模型．
- 李传湘
- 关键词：图灵机
- 基于面向对象框架的软件开发方法被引量：72
- 2002年
- 分析了框架的特征以及它与其它的一些常用的面向对象复用技术如类库、组件、设计模式的联系,给出了基于框架的软件开发方法BFD(Based-framework Development)的开发过程。并讨论了在BFD中目前的研究重点和BFD的最新的发展趋势。
- 何昭李传湘崔巍
- 关键词：面向对象软件复用设计模式软件开发方法软件工程
- 层次结构中封闭子图的映射
- 1990年
- 在[3]中,我们就层次结构(BS)中,任意一个封闭子图G_(5)∈G_(5)真的扩展,建立了其边界映射的三原则,并在这些原则的基础上,构造了该映射的表达式。本文,进一步按映射三原则扩展这一映射表达式,并使之一般化。最后,我们还建立了封闭子图G_(5)映射定理,说明了如果映射存在则G_(5)的映射像ε(G_(5))就可以构造而得。
- 李传湘
- 关键词：映射
- 基于体系结构的软件开发被引量：18
- 2000年
- 随着软件规模和复杂度的日益升级，对系统总体结构的设计和规格说明比对算法和数据结构的选择重要得多。软件体系结构作为描述系统高层设计的手段，正成为研究热点。讨论了软件体系结构的研究背景、研究内容、同面向对象和设计模式的关系以及基于体系结构的软件开发过程。
- 阮幼林李传湘
- 关键词：软件体系结构面向对象软件开发
- 面向对象的语言分析
- 1996年
- 对面向对象语言(OOP)的主要特征(信息隐藏、数据抽象、数据类型的动态汇集、性质继承)进行了分析,说明了面向对象的语言和非面向对象语言的区别,以及面向对象语言的优点和发展。
- 许刚李传湘
- 关键词：语言面向对象语言数据抽象
- 一种基于Z和精化演算的形式化开发方法被引量：3
- 2001年
- 通过分析 Z和精化演算各自的特点 ,本文提出了一种使两者无缝集成的形式化开发方法 .该方法利用 Z良好的描述特性和扩充的类机制 ,将系统规约直接定义成精化演算中的抽象程序 ,然后用精化规则对抽象程序逐步精化 ,直到可执行程序 .
- 阮幼林李传湘
- 关键词：精化演算软件开发形式化开发方法Z语言软件工程
- 层次结构区间定理
- 1989年
- 在[1]中,我们讨论了层次结构(HS)在区间套的基础上的归约模型。在这里我们进一步探讨HS的区间结构特征,并在此基础上,讨论HS的封闭子图G_S的结构及其在HS中的退换,从而把一个HS通过退换映射退化成一个更简单的HS。
- 李传湘
