-
题名基于平衡记分卡的国家重点实验室绩效评估
被引量：18
- 1
-
-
作者
何莲
-
机构
武汉大学软件工程国家重点实验室
-
出处
《科技进步与对策》
CSSCI
北大核心
2009年第18期152-155,共4页
-
文摘
在回顾现有绩效评价方法的基础上,借鉴平衡记分卡的基本分析框架,构建了国家重点实验室业绩评价体系,提出了国家重点实验室实现战略目标的基本途径,最后对我国国家重点实验室的管理进行了探讨,并就处理好几大关系作了进一步的分析。
-
关键词
国家重点实验室
平衡记分卡
战略管理
绩效评价
-
Keywords
State Key Laboratories
Balanced Scorecard
Strategy Management
Performance Evaluation
-
分类号
G311
[文化科学]
-
-
题名重点实验室管理信息系统
被引量：4
- 2
-
-
作者
吴闽泉
陈小萍
刘方早
沈朝晖
-
机构
武汉大学软件工程国家重点实验室
武汉图书馆
-
出处
《实验技术与管理》
CAS
2001年第1期115-117,共3页
-
文摘
本文对重点实验室的日常管理进行了需求分析，阐述了实验室管理系统的设计思想，介绍了系统的主要功能、结构及特点。该系统具有一定的实用价值和推广价值。
-
关键词
重点实验室
数据库
管理信息系统
-
分类号
G482
[文化科学—教育技术学]
C931.6
[经济管理—管理学]
-
-
题名复杂动力网络及其在软件工程中的应用
被引量：10
- 3
-
-
作者
吕金虎
王红春
何克清
-
机构
中国科学院数学与系统科学研究院
武汉大学软件工程国家重点实验室
北京建筑工程学院经济与管理工程学院
-
出处
《计算机研究与发展》
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
[理学—一般力学与力学基础]
-
-
题名面向嵌入式实时软件系统需求工程环境——SREE
被引量：4
- 4
-
-
作者
舒风笛
毋国庆
王敏
-
机构
武汉大学软件工程国家重点实验室计算机科学系
-
出处
《计算机科学》
CSCD
北大核心
2002年第4期4-8,14,共6页
-
基金
国家自然科学基金
高等学校博士点专项科研基金
-
文摘
1前言
软件开发的需求阶段需要严格定义被开发系统的需求规格说明书(Software Requirement Specifications,SRS).对于软件开发来说,SRS中的错误将导致开发成本、开发时间的增加,甚至是开发过程的失败,所以,SRS的正确和可靠极为重要.但由于许多因素,如问题的复杂性、设计人员交流障碍、用户对问题陈述的不完全和不一致以及需求易变性等,需求分析变得十分复杂.为有效地解决这些问题,人们主要围绕着需求分析模型和语言及CASE技术和工具进行了相关的研究,引入形式化技术和CASE工具的需求工程正不断向着需求工程自动化的方向发展.
-
关键词
软件工程
软件开发
嵌入式实时软件系统
软件需求工程
SREE
-
Keywords
Embedded real-time software, Requirements specifications , RTRSM, Prototyping method , Simulation execution
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件体系结构与组件软件工程
被引量：28
- 5
-
-
作者
唐胜群
唐涛洲
-
机构
武汉大学软件工程国家重点实验室
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
1998年第8期32-35,共4页
-
文摘
介绍了组件类型和体系结构的概念。在ACA和NCA之间作了比较，基于构件的软件工程给软件开发带来的变化。
-
关键词
软件
体系结构
组件
软件工程
-
Keywords
Component, Architecture, Software development
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件可靠性工程学综述
被引量：7
- 6
-
-
作者
郑艳艳
郭伟
徐仁佐
-
机构
武汉大学软件工程国家重点实验室
武汉大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2009年第2期20-25,共6页
-
文摘
软件可靠性工程学定量评价软件系统的可靠性,是开发并维护软件系统的一种工程学技术。回顾了软件可靠性工程学的历史、目前的趋势以及现存的问题和困难。提出了软件可靠性工程学中未来可能的方向和有前景的研究课题。
-
关键词
软件可靠性工程学
容错
建模
数据收集
度量
测试
-
Keywords
Software reliability engineering, Fault tolerant,Modeling, Data collecting, Metric, Testing
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
X321
[环境科学与工程—环境工程]
-
-
题名基于复杂网络的软件复杂性度量研究
被引量：38
- 7
-
-
作者
李兵
王浩
李增扬
何克清
余敦辉
-
机构
武汉大学软件工程国家重点实验室
湖北大学数学与计算机科学学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2006年第B12期2371-2375,共5页
-
基金
:国家973计划前期研究专项(No.2006CB708302)
国家自然科学基金(No.90604005)
+6 种基金
"十五"国家重大科技专项(No.2002BA906A21-25)
湖北省自然科学基金(No.2005ABA123
No.2005ABA240
No.2006ABA228)
软件工程国家重点实验室开放基金(No.SKLSE05-07
No.SKLSE05-19)
国家863高技术研究发展计划(No.2006AA04Z156)
-
文摘
软件开发者对于日趋复杂的软件系统的理解和控制越来越困难,传统软件工程正接近其复杂性和可扩展性的极限.复杂性使软件开发困难,质量难以保证.复杂网络理论的最新研究成果,为软件复杂性度量提供了新的数学基础.讨论了软件复杂性的形成原因和度量方法,介绍了目前复杂网络与软件复杂性结合的研究工作.探讨了基于复杂网络的软件结构复杂性度量方法,提出一种结合复杂网络和演化算法的软件演化复杂性度量模型.
-
关键词
软件复杂性
复杂网络
软件度量
下一代软件工程
-
Keywords
software complexity
complex networks
complexity Metrics
next-generation software engineering（NGSE）
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于UML的软件过程建模方法研究
被引量：33
- 8
-
-
作者
李思广
林子禹
胡峰
潘小劲
-
机构
武汉大学软件工程国家重点实验室
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第6期76-78,共3页
-
文摘
论文运用UML对软件过程建模,用类图对静态结构建模,用顺序图,状态图对动态行为建模,并给出了一个软件配置管理过程建模的实例。
-
关键词
UML
软件过程建模方法
软件工程
软件开发
软件配置管理过程
软件能力成熟度模型
-
Keywords
Software Process modeling,UML ,Software Configuration Management Process
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于构件库及构件组合的软件重用
被引量：16
- 9
-
-
作者
应时
周顺
朱春艳
康立山
唐胜群
-
机构
武汉大学软件工程国家重点实验室
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
1998年第11期19-22,37,共5页
-
基金
国家863高科技项目
国家教委博士点基金
武汉大学计算机软件工程国家重点实验室开放基金
-
文摘
介绍了一种具有动态组合特性的构件Pad，详细说明了它如何规范重用单元的接口以及相互间可传递的消息，并进一步介绍了构件Pad的组合规则消息传递协议．还简要地介绍了一种在面向对象数据库的基础上实现构件库的方法．最后．介绍了已开发成功的一个构件重用支撑环境的原型。
-
关键词
构件组合
构件库
软件重用
软件工程
-
Keywords
Component
Component encapsulating
Component composition
Component library
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件系统的复杂网络研究进展
被引量：28
- 10
-
-
作者
李兵
马于涛
刘婧
丁琦伟
-
机构
武汉大学软件工程国家重点实验室
-
出处
《力学进展》
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
[生物学—细胞生物学]
-
-
题名网络化软件的复杂网络特性实证
被引量：47
- 11
-
-
作者
马于涛
何克清
李兵
刘婧
-
机构
武汉大学软件工程国家重点实验室
武汉大学计算机学院
中国电子设备系统工程公司研究所
武汉大学复杂网络研究中心
-
出处
《软件学报》
EI
CSCD
北大核心
2011年第3期381-407,共27页
-
基金
国家自然科学基金(60970017
60873083
+6 种基金
60803025)
国家重点基础研究发展计划(973)(2007CB310800)
高等学校博士学科点专项科研基金(20070486065
20090141120022)
湖北省自然科学基金(2008CDB351
2008ABA379)
中央高校基本科研业务费专项资金(6082005)
-
文摘
互联网的普及和万维网的兴起,引发了软件技术的变革,催生了新的软件形态——网络化软件,为大众用户提供多样化、个性化的按需服务.随着应用领域的不断扩展和用户群的日益庞大,其规模与复杂度正以超越人类处理能力的速度增长,使得软件工程不得不面临一系列的挑战.为了科学地认识和理解这类规模庞大的人工复杂系统,从网络化-服务化-社会化的三维视角出发,对其基础设施、应用服务和大众交互三方面的复杂网络特性实证研究进行了综述分析,并系统论述了网络化软件中隐含的"小世界"和"无尺度"复杂网络特性对软件工程今后研究的影响和启示.软件工程与其他学科的交叉汇聚,将迸发新的观点和思想,为网络化软件的研究提供新的思维方式和方法论,有望实现软件工程理论、方法和关键技术的创新,从而推动我国软件服务业的快速发展.
-
关键词
网络化软件
复杂网络
复杂性
实证研究
-
Keywords
networked software
complex network
complexity
empirical study
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名支持运行监控的可信软件体系结构设计方法
被引量：13
- 12
-
-
作者
文静
王怀民
应时
倪友聪
王涛
-
机构
武汉大学软件工程国家重点实验室
国防科学技术大学计算机学院网络与信息安全研究所
-
出处
《计算机学报》
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
- 13
-
-
作者
潘伟丰
李兵
邵波
何鹏
-
机构
武汉大学软件工程国家重点实验室
浙江工商大学计算机与信息工程学院
武汉大学复杂网络研究中心
-
出处
《计算机学报》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名多级正交软件体系结构及其应用
被引量：20
- 14
-
-
作者
谭凯
林子禹
彭德纯
唐胜群
-
机构
武汉大学软件工程国家重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2000年第2期138-141,共4页
-
基金
国家自然科学基金
武汉大学软件工程国家重点实验室开放基金!(69873036)
-
文摘
软件体系结构的设计、进化和重用一直是软件工程领域的重要研究方向，本文首先提出了多级正交软件体系结构的概念，然后给出结构进化和重用的控制方法，并将其运用到实际软件的设计开发，实践证明，我们这一方法对于降低软件（特别是大型软件）进化的复杂性，提高重用率是行之有效的．
-
关键词
软件体系结构
软件进化
软件工程
-
Keywords
Software system architecture
Software evolution
Thread
Layer
Vertical thread of component group
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于迁移学习的软件缺陷预测
被引量：23
- 15
-
-
作者
程铭
毋国庆
袁梦霆
-
机构
武汉大学计算机学院
武汉大学软件工程国家重点实验室
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2016年第1期115-122,共8页
-
基金
国家自然科学基金(No.91118003
No.61003071)
深圳战略性新兴产业发展专项资金(No.JCYJ20120616135936123)
-
文摘
传统软件缺陷预测方法在解决跨项目缺陷预测过程中适应能力不足,主要是因为源项目和目标项目之间存在不同的特征分布.为了解决这个问题,提出一种新的加权贝叶斯迁移学习算法,算法首先收集训练数据和测试数据的特征信息,然后计算特征差异,将不同项目数据之间差异转化为训练数据权重,最后基于这些权重数据建立预测模型.在8个开源项目数据集上进行实验比较,实验结果表明与其他方法相比本文方法显著提高跨项目缺陷预测性能.
-
关键词
软件缺陷预测
迁移学习
机器学习
朴素贝叶斯
-
Keywords
software defect prediction
transfer learning
machine learning
naive Bayes
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于CMM、PSP、TSP的软件开发模型
被引量：11
- 16
-
-
作者
张月强
唐胜群
刘伟
-
机构
武汉大学软件工程国家重点实验室
-
出处
《计算机工程与应用》
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
- 17
-
-
作者
潘伟丰
李兵
马于涛
刘婧
-
机构
浙江工商大学计算机与信息工程学院
武汉大学软件工程国家重点实验室
武汉大学计算机学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2012年第12期2456-2465,共10页
-
基金
国家自然科学基金(No.61202048)
浙江省自然科学基金(No.LQ12F02011)
武汉市科技晨光计划(No.201150431102)
-
文摘
测试用例优先级排序技术是一种高效实用的回归测试技术.针对现有排序方法未能有效利用软件结构复杂性信息的不足,提出了一种基于复杂软件网络的回归测试用例优先级排序方法.该方法用加权类依赖网络模型抽象类粒度软件系统,从结构角度测度类引入错误的可能性及错误的严重性,并据此评价类的测试重要性,同时结合测试用例的覆盖信息,对测试用例进行排序.实例研究表明,本文的方法能够显著提高严重错误的发现速率,并且具有较好的稳定性.同时,揭示了方法有效性与软件错误类型和结构度量指标两者间的关系.
-
关键词
测试用例优先级排序
软件结构
复杂网络
回归测试
软件
-
Keywords
test case prioritization
software structure
complex network
regression testing
software
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名实用软件体系结构研究
被引量：10
- 18
-
-
作者
李振
肖书
唐胜群
-
机构
武汉大学软件工程国家重点实验室
-
出处
《计算机工程与应用》
CSCD
北大核心
2000年第8期169-171,共3页
-
文摘
该文简要讨论了各种软件体系结构，重点讨论了在实践中如何分析大型MIS系统，如何用软件体系结构的方法来开发软件，并对实践之中出现的问题进行了初步的讨论。
-
关键词
软件体系结构
组件
事务处理流
软件工程
-
Keywords
Software architecture,component, transaction sheam
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种软件体系结构关注点分析方法
被引量：8
- 19
-
-
作者
张琳琳
应时
倪友聪
赵楷
文静
-
机构
武汉大学软件工程国家重点实验室
新疆大学信息科学与工程学院
武汉大学计算机学院
安徽建筑工业学院数理系
-
出处
《计算机学报》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名高可用性软件的设计与实现
被引量：8
- 20
-
-
作者
罗娟
曹阳
郑刚
张俊新
-
机构
武汉大学电子信息学院
武汉大学软件工程国家重点实验室
-
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第8期19-20,67,共3页
-
基金
国家自然科学基金资助项目(60132030)
-
文摘
从高可用性系统的类型和功能出发，在分析系统失效因素和高可用系统结构的基础上，设计了一个高可用性的软件结构系统，它可以运行于主备、双机和多机3种工作模式，并以有限状态机的状态转移图，具体实现了链路管理和业务接管等关键技术，最后将所设计的软件应用到实际的系统之中，能够很好地满足需求。
-
关键词
高可用性
业务接管
集群
-
Keywords
High availability
Service take-over
Cluster
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
