-
题名复杂动力网络及其在软件工程中的应用
被引量:10
- 1
-
-
作者
吕金虎
王红春
何克清
-
机构
中国科学院数学与系统科学研究院
武汉大学软件工程国家重点实验室
北京建筑工程学院经济与管理工程学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2008年第12期2052-2059,共8页
-
基金
国家自然科学基金项目(60772158
60221301)
+2 种基金
国家"九七三"重点基础研究发展规划基金项目(2007CB310801
2007CB310805)
中国科学院知识创新工程重要方向性基金项目(KJCX3-SYW-S01)~~
-
文摘
随着信息技术和生命科学的迅猛发展,复杂网络在过去10年迅速发展成为一个多学科交叉的新的热点研究领域.21世纪是复杂系统和复杂网络的世纪,复杂网络的深入研究直接关系到人们的日常生活和许多重要科学分支的发展.如何提高大规模复杂网络的传输效率、增强网络的安全可信程度和稳定性、防止恶意袭击(如计算机病毒和流行病的传播)以及随机错误给人们造成的重大损失等问题,这些问题的根本解决都依赖于复杂网络理论与技术的发展.简要地回顾国内外过去10年在复杂网络领域的主要研究进展及其在软件工程中的典型应用,包括复杂网络的建模、同步、控制以及网络化软件,试图推进国内复杂网络与软件工程的交叉研究.
-
关键词
复杂动力网络
建模
同步
控制
网络化软件
-
Keywords
complex dynamical networks
modeling
synchronization
control
networked software
-
分类号
TP11
[自动化与计算机技术—控制理论与控制工程]
O317
[理学—一般力学与力学基础]
-
-
题名软件体系结构与组件软件工程
被引量:28
- 2
-
-
作者
唐胜群
唐涛洲
-
机构
武汉大学软件工程国家重点实验室
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
1998年第8期32-35,共4页
-
文摘
介绍了组件类型和体系结构的概念。在ACA和NCA之间作了比较,基于构件的软件工程给软件开发带来的变化。
-
关键词
软件
体系结构
组件
软件工程
-
Keywords
Component, Architecture, Software development
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件可靠性工程学综述
被引量:5
- 3
-
-
作者
郑艳艳
郭伟
徐仁佐
-
机构
武汉大学软件工程国家重点实验室
武汉大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2009年第2期20-25,共6页
-
文摘
软件可靠性工程学定量评价软件系统的可靠性,是开发并维护软件系统的一种工程学技术。回顾了软件可靠性工程学的历史、目前的趋势以及现存的问题和困难。提出了软件可靠性工程学中未来可能的方向和有前景的研究课题。
-
关键词
软件可靠性工程学
容错
建模
数据收集
度量
测试
-
Keywords
Software reliability engineering, Fault tolerant,Modeling, Data collecting, Metric, Testing
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
X321
[环境科学与工程—环境工程]
-
-
题名高校计算机实验室综合信息管理系统设计与实现
被引量:5
- 4
-
-
作者
刘湘晖
-
机构
武汉大学软件工程国家重点实验室
-
出处
《计算机光盘软件与应用》
2010年第12期148-148,共1页
-
文摘
当前高校在不断推进素质教育的过程中,传统的计算机实验室教学管理方式急需改革,需要对计算机实验室的设备和工作人员进行统一、规范的管理,本文对高校计算机实验室的应用范围和目前日常管理中存在的不足进行了分析,总结出了高校目前使用的计算机实验室管理系统的模式,以"理论与实践一体化"教学理念为基础设计和实现了计算机实验室综合信息管理系统,使计算机实验室能高效和可靠运行.
-
关键词
计算机实验室
综合信息管理系统
设计
实现
-
Keywords
Computer laboratory
Integrated information management system
Design
Implementation
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于UML的软件过程建模方法研究
被引量:33
- 5
-
-
作者
李思广
林子禹
胡峰
潘小劲
-
机构
武汉大学软件工程国家重点实验室
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第6期76-78,共3页
-
文摘
论文运用UML对软件过程建模,用类图对静态结构建模,用顺序图,状态图对动态行为建模,并给出了一个软件配置管理过程建模的实例。
-
关键词
UML
软件过程建模方法
软件工程
软件开发
软件配置管理过程
软件能力成熟度模型
-
Keywords
Software Process modeling,UML ,Software Configuration Management Process
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于构件库及构件组合的软件重用
被引量:16
- 6
-
-
作者
应时
周顺
朱春艳
康立山
唐胜群
-
机构
武汉大学软件工程国家重点实验室
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
1998年第11期19-22,37,共5页
-
基金
国家863高科技项目
国家教委博士点基金
武汉大学计算机软件工程国家重点实验室开放基金
-
文摘
介绍了一种具有动态组合特性的构件Pad,详细说明了它如何规范重用单元的接口以及相互间可传递的消息,并进一步介绍了构件Pad的组合规则消息传递协议.还简要地介绍了一种在面向对象数据库的基础上实现构件库的方法.最后.介绍了已开发成功的一个构件重用支撑环境的原型。
-
关键词
构件组合
构件库
软件重用
软件工程
-
Keywords
Component
Component encapsulating
Component composition
Component library
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件系统的复杂网络研究进展
被引量:28
- 7
-
-
作者
李兵
马于涛
刘婧
丁琦伟
-
机构
武汉大学软件工程国家重点实验室
-
出处
《力学进展》
EI
CSCD
北大核心
2008年第6期805-814,共10页
-
基金
国家自然科学基金(60873083
60803025
+4 种基金
60703009
60703018)
国家重点基础研究发展计划(973项目)(2007CB310801)
国家高技术研究发展计划(863项目)(2006AA042156)
湖北省自然科学基金(2006ABA228)资助项目~~
-
文摘
互联网给软件带来了革命性的转变——软件网络化,这种趋势使软件作为全局性的资源,以网络为媒介向大众用户提供各种信息资源的应用服务.软件的计算模式、应用模式、产品形态以及盈利模式都会发生很大的变化,例如今后软件的应用方式就像打电话一样,通过网络租用软件来实现.网络化软件正会成为联接各种网络资源、数据资源、计算资源的核心,成为数据和数据交换的基础.同时,网络化软件系统也将成为复杂系统,而复杂性也是软件开发困难、质量难以保证的关键.软件工程是将系统化、规范化、可度量的方法应用于软件的开发、运行和维护.复杂网络理论的最新研究成果,为复杂系统的软件工程提供了新的数学基础和方法.分析了软件的复杂性,介绍了复杂网络与软件复杂性结合的研究工作,包括软件系统的拓扑特性、形成机理、演化规律以及软件复杂性度量和评估,对软件网络的研究现状进行了小结,并列举了需要进一步研究的问题.提出软件网络观(软件在网络中生长、可以用网络来刻画软件)将有助于我们深入理解和认识软件的复杂性本质.
-
关键词
软件复杂性
复杂网络
软件工程
-
Keywords
software complexity, complex networks, software engineering
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
Q2-0
[生物学—细胞生物学]
-
-
题名多级正交软件体系结构及其应用
被引量:20
- 8
-
-
作者
谭凯
林子禹
彭德纯
唐胜群
-
机构
武汉大学软件工程国家重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2000年第2期138-141,共4页
-
基金
国家自然科学基金
武汉大学软件工程国家重点实验室开放基金!(69873036)
-
文摘
软件体系结构的设计、进化和重用一直是软件工程领域的重要研究方向,本文首先提出了多级正交软件体系结构的概念,然后给出结构进化和重用的控制方法,并将其运用到实际软件的设计开发,实践证明,我们这一方法对于降低软件(特别是大型软件)进化的复杂性,提高重用率是行之有效的.
-
关键词
软件体系结构
软件进化
软件工程
-
Keywords
Software system architecture
Software evolution
Thread
Layer
Vertical thread of component group
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名支持运行监控的可信软件体系结构设计方法
被引量:13
- 9
-
-
作者
文静
王怀民
应时
倪友聪
王涛
-
机构
武汉大学软件工程国家重点实验室
国防科学技术大学计算机学院网络与信息安全研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
2010年第12期2321-2334,共14页
-
基金
国家"八六三"高技术研究发展计划项目基金(2003AA142O1O
2006AA01Z168)
国家自然科学基金(60773006)资助
-
文摘
近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计.通过引入面向侧面的软件体系结构设计方法及其相关概念,文中提出一种支持运行监控的可信软件体系结构设计方法.在支持运行监控的可信软件构造模型TSCM的基础上,利用一种面向侧面的体系结构描述语言AC2-ADL描述具有监控能力的软件体系结构,试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案.通过结合网上拍卖系统的案例展示该方法的主要步骤和结果,讨论了研究中存在的问题和进一步的工作.
-
关键词
面向侧面的体系结构描述语言
面向侧面的软件开发方法
支持运行监控的可信软件构造模型
软件工程
可信软件开发
-
Keywords
aspect-oriented architecture description language
aspect-oriented software architecture design
trusted software constitution model based on monitoring
software engineering
trusted software development
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于软件网络的服务自动分类和推荐方法研究
被引量:23
- 10
-
-
作者
潘伟丰
李兵
邵波
何鹏
-
机构
武汉大学软件工程国家重点实验室
浙江工商大学计算机与信息工程学院
武汉大学复杂网络研究中心
-
出处
《计算机学报》
EI
CSCD
北大核心
2011年第12期2355-2369,共15页
-
基金
国家"九七三"重点基础研究发展规划项目基金(2007CB310801)
国家自然科学基金(60873083
+4 种基金
61003073)
中国博士后科学基金(20090460107
201003794)
中央高校基本科研业务费专项资金(114013
3101032)资助~~
-
文摘
服务的分类和推荐方法对于服务管理和组合都具有重要意义.文中利用服务组合历史,从面向服务软件的结构角度研究了服务分类和推荐方法:提出面向服务软件的软件网络模型,并用于抽象面向服务软件的拓扑结构;利用复杂网络社区发现算法对软件网络进行聚类,从而实现服务的自动分类;利用软件网络描述服务之间的可组合关系及其强度,并基于服务的使用场景提出了相应的服务推荐算法.使用ProgrammableWeb上API服务和mashup应用的真实数据来说明该文方法的有效性.从实验结果可以看出,该方法可以准确地实现服务分类,整个聚类的纯净度达到了86.8%,同时推荐的服务也比较有意义,这对于解决服务计算中的一些问题,包括服务的管理、检索、组合等都具有一定的意义.
-
关键词
服务分类
服务组合
社区发现
复杂网络
服务计算
-
Keywords
service classification
service composition
community detection
complex networks
service computing
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于CMM、PSP、TSP的软件开发模型
被引量:11
- 11
-
-
作者
张月强
唐胜群
刘伟
-
机构
武汉大学软件工程国家重点实验室
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第1期132-134,143,共4页
-
文摘
在软件开发中软件工程师个人及软件组织不可避免地会遇到各种困难,尤其是软件组织在实施CMM中面对的各种挑战。CMM用于提高整个软件组织的能力成熟度,PSP和TSP分别用于改进软件工程师个人的工作风格和提高小组的软件开发质量和效率。三者的有效结合将进一步提高软件产品的质量和生产率以及软件组织的能力成熟度。该文提出一种将三者及软件体系结构等其他技术结合起来的软件开发模型。
-
关键词
CMM
PSP
TSP
软件开发模型
软件体系结构
软件工程师
-
Keywords
CMM,PSP,TSP,Software Developing,Software Architecture
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名实用软件体系结构研究
被引量:10
- 12
-
-
作者
李振
肖书
唐胜群
-
机构
武汉大学软件工程国家重点实验室
-
出处
《计算机工程与应用》
CSCD
北大核心
2000年第8期169-171,共3页
-
文摘
该文简要讨论了各种软件体系结构,重点讨论了在实践中如何分析大型MIS系统,如何用软件体系结构的方法来开发软件,并对实践之中出现的问题进行了初步的讨论。
-
关键词
软件体系结构
组件
事务处理流
软件工程
-
Keywords
Software architecture,component, transaction sheam
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向多用户软件系统的可靠性分配的故障树分析法
被引量:7
- 13
-
-
作者
徐仁佐
向剑文
肖英柏
-
机构
武汉大学软件工程国家重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2001年第3期329-332,共4页
-
文摘
本文首先对目前已有的各种分配技术与方法的特点进行了探讨 ,介绍了如何采用故障树技术求得导致系统失效的功能模块的最小割集 ,首次提出运用故障树技术进行各模块可靠性的划分和确定 ,并提出了一种新的算法来快速、有效地确定各模块的重要度 ,结合考虑软件的总体开发费用 ,创建了一个新的基于软件实用性的可靠性分配模型并详细讨论了其具体运用 。
-
关键词
模块重要度
故障树分析法
软件系统
可靠性
软件开发
-
Keywords
Software reliability allocation
Fault tree analysis
Minimal cut set
Software usability
Components importance
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件可靠性稳定增长与安全性测试的故障树分析法
被引量:7
- 14
-
-
作者
肖英柏
向剑文
徐仁佐
-
机构
武汉大学软件工程国家重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
1999年第9期668-671,共4页
-
文摘
随着信息技术的发展,计算机应用日益广泛,软件可靠性和软件安全性越来越受到重视,本文提出软件可靠性稳定增长测试与软件安全性测试的概念,并利用故障树分析技术,详细讨论了它们在保证获取高的软件可靠性与安全性工作中的作用,描述了故障树分析方法的分析过程.最后本文分析了它的优缺点,并对该方法的可能的改进及补充进行了一些探讨.
-
关键词
软件可靠性
软件安全性
测试
故障树
软件工程
-
Keywords
Software reliability stable growth testing Software safety testing
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名高可用性软件的设计与实现
被引量:8
- 15
-
-
作者
罗娟
曹阳
郑刚
张俊新
-
机构
武汉大学电子信息学院
武汉大学软件工程国家重点实验室
-
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第8期19-20,67,共3页
-
基金
国家自然科学基金资助项目(60132030)
-
文摘
从高可用性系统的类型和功能出发,在分析系统失效因素和高可用系统结构的基础上,设计了一个高可用性的软件结构系统,它可以运行于主备、双机和多机3种工作模式,并以有限状态机的状态转移图,具体实现了链路管理和业务接管等关键技术,最后将所设计的软件应用到实际的系统之中,能够很好地满足需求。
-
关键词
高可用性
业务接管
集群
-
Keywords
High availability
Service take-over
Cluster
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名一种软件体系结构关注点分析方法
被引量:8
- 16
-
-
作者
张琳琳
应时
倪友聪
赵楷
文静
-
机构
武汉大学软件工程国家重点实验室
新疆大学信息科学与工程学院
武汉大学计算机学院
安徽建筑工业学院数理系
-
出处
《计算机学报》
EI
CSCD
北大核心
2009年第9期1782-1791,共10页
-
基金
国家自然科学基金(60773006)
高等学校博士学科点专项科研基金(20060486045)资助~~
-
文摘
在体系结构的设计、演化和重用过程中涉及众多的关注点,而且它们之间存在着复杂的关系,然而目前还缺乏有效的对这些关注点及其关系进行描述和分析的方法.针对这一问题,在系统收集并显式标识各种体系结构关注点及其关系的基础上,文中提出一种软件体系结构关注点分析方法.该方法利用时段时序逻辑对关注点之间的横切关系进行形式化描述和分析,可以发现横切关注点之间的时序冲突,有助于提高面向方面软件体系结构的设计质量.最后结合案例给出了该方法的实施过程.
-
关键词
关注点多维分离
体系结构关注点
面向方面软件体系结构
时段时序逻辑
-
Keywords
multiple dimension separating of concerns (MDSoC)
architectural concerns
aspect oriented software architecture
interval temporal logic
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件可靠性混沌模型
被引量:19
- 17
-
-
作者
邹丰忠
李传湘
-
机构
武汉大学软件工程国家重点实验室
武汉大学计算机学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2001年第3期281-291,共11页
-
文摘
在分析软件失效机理后认为 :有些软件失效行为具有混沌性 ,所以可以用混沌方法来处理其软件可靠性推断问题 .但在应用混沌方法前先要进行系统辨识 ,确定为混沌系统后 ,才能应用嵌入空间技术从软件失效时间序列重建系统相空间和吸引子 ,进而用吸引子所揭示的混沌属性来估计软件可靠性 .文中在三个标准数据集的基础上对此进行了实证分析 ,结果表明其中两个数据集源于混沌机制 ,他们的吸引子具有低维的小数极限维数 ,而且预测与实际可靠性吻合较好 .值得指出的是文中所提混沌方法突破了软件可靠性一贯使用随机分析的局限 .
-
关键词
软件工程
软件可靠性
混沌
非线性分析
程序分解
-
Keywords
software engineering, software reliability, chaos, nonlinear analysis, nonlinear dynamics, stochastic, statistics
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件企业CMMI评估系统的UML建模、设计与实现
被引量:5
- 18
-
-
作者
毛超
林子禹
肖劲松
-
机构
武汉大学软件工程国家重点实验室
-
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第7期62-63,143,共3页
-
基金
湖北省科技攻关基金资助项目
-
文摘
描述了在软件企业CMMI评估系统开发中,使用UML这种面向系统并且支持系统开发全部过程的建模工具,完成了系统的分析与设计。并且给出了KP(Key Process)的量化标准,帮助企业有针对性地改进软件的开发过程。
-
关键词
统一建模语言
CMM
能力成熟度模型集成
评估
建模方法
-
Keywords
Unified modeling language(UML)
CMM
Capability maturity model integration(CMMI)
Appraisal
Modeling method
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于群体智慧的软件开发间层模型及其架构实现
被引量:4
- 19
-
-
作者
何炎祥
杨建康
鲍海洲
冉亚洛
郭波波
杨建喜
-
机构
武汉大学计算机学院
武汉大学软件工程国家重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2015年第1期175-179,共5页
-
基金
国家自然科学基金重点项目(91118003)资助
-
文摘
减少或者避免重复劳动是应对软件危机的一个重要方法。对软件重用技术进行研究,以避免重复劳动为目标,提出利用群体智慧的间层模型来试图解决软件危机问题。提出的柠檬框架是间层模型的一个实现,具有一定的实用性。同时柠檬框架也是正在进行的一个项目。
-
关键词
重复劳动
软件重用
群体智慧
间层模型
软件危机
柠檬框架
-
Keywords
Duplication of effort
Software reuse
Collective intelligence
Interlayer model
Software crisis
Lemon framework
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种专用的软件组件搜索引擎
被引量:5
- 20
-
-
作者
沈美娥
王铁峰
宋平
应时
-
机构
北京信息工程学院计算机系
武汉大学软件工程国家重点实验室
-
出处
《计算机工程与应用》
CSCD
北大核心
2005年第21期107-109,共3页
-
基金
国家自然科学基金项目(编号:60473066)
湖北省青年杰出人才基金项目(编号:2003ABB004)
武汉大学科技创新基金项目资助
-
文摘
搜索引擎能帮助人们从因特网上获取信息或资源,但是直接使用现有的通用搜索引擎来搜索分布在因特网上的各种大型组件库中的软件组件,则并不适合。本文提出了一种新的专用软件组件搜索引擎。该搜索引擎可以在因特网上,基于组件的分类信息,搜索软件组件。它能够为检索和重用软件组件等活动,提供较好的支持。此外,还给出了该搜索引擎的设计方案。
-
关键词
软件组件资源库
体系分类
分面分类
搜索引擎
-
Keywords
software component repository,systematic classification,faceted classification,search engine.
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-