题名 基于平衡记分卡的国家重点实验室绩效评估
被引量：18
1
作者
何莲
机构
武汉大学软件工程国家重点实验 室
出处
《科技进步与对策》
CSSCI
北大核心
2009年第18期152-155,共4页
文摘
在回顾现有绩效评价方法的基础上,借鉴平衡记分卡的基本分析框架,构建了国家重点实验室业绩评价体系,提出了国家重点实验室实现战略目标的基本途径,最后对我国国家重点实验室的管理进行了探讨,并就处理好几大关系作了进一步的分析。
关键词
国家重点实验室 平衡记分卡 战略管理 绩效评价
Keywords
State Key Laboratories Balanced Scorecard Strategy Management Performance Evaluation
分类号
G311
[文化科学]
题名 面向嵌入式实时软件系统需求工程环境——SREE
被引量：4
2
作者
舒风笛 毋国庆 王敏
机构
武汉大学软件工程国家重点实验 室计算机科学系
出处
《计算机科学》
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
[自动化与计算机技术—计算机软件与理论]
题名 复杂动力网络及其在软件工程中的应用
被引量：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
[理学—一般力学与力学基础]
题名 重点实验室管理信息系统
被引量：4
4
作者
吴闽泉 陈小萍 刘方早 沈朝晖
机构
武汉大学软件工程国家重点实验 室武汉 图书馆
出处
《实验技术与管理》
CAS
2001年第1期115-117,共3页
文摘
本文对重点实验室的日常管理进行了需求分析，阐述了实验室管理系统的设计思想，介绍了系统的主要功能、结构及特点。该系统具有一定的实用价值和推广价值。
关键词
重点实验室 数据库 管理信息系统
分类号
G482
[文化科学—教育技术学]
C931.6
[经济管理—管理学]
题名 软件体系结构与组件软件工程
被引量：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
[生物学—细胞生物学]
题名 多级正交软件体系结构及其应用
被引量：20
11
作者
谭凯 林子禹 彭德纯 唐胜群
机构
武汉大学软件工程国家重点实验 室
出处
《小型微型计算机系统》
CSCD
北大核心
2000年第2期138-141,共4页
基金
国家自然科学基金 武汉大学软件工程国家重点实验室开放基金!(69873036)
文摘
软件体系结构的设计、进化和重用一直是软件工程领域的重要研究方向，本文首先提出了多级正交软件体系结构的概念，然后给出结构进化和重用的控制方法，并将其运用到实际软件的设计开发，实践证明，我们这一方法对于降低软件（特别是大型软件）进化的复杂性，提高重用率是行之有效的．
关键词
软件体系结构 软件进化 软件工程
Keywords
Software system architecture Software evolution Thread Layer Vertical thread of component group
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 支持运行监控的可信软件体系结构设计方法
被引量：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
[自动化与计算机技术—计算机软件与理论]
题名 基于CMM、PSP、TSP的软件开发模型
被引量：11
13
作者
张月强 唐胜群 刘伟
机构
武汉大学软件工程国家重点实验 室
出处
《计算机工程与应用》
CSCD
北大核心
2003年第1期132-134,143,共4页
文摘
在软件开发中软件工程师个人及软件组织不可避免地会遇到各种困难,尤其是软件组织在实施CMM中面对的各种挑战。CMM用于提高整个软件组织的能力成熟度,PSP和TSP分别用于改进软件工程师个人的工作风格和提高小组的软件开发质量和效率。三者的有效结合将进一步提高软件产品的质量和生产率以及软件组织的能力成熟度。该文提出一种将三者及软件体系结构等其他技术结合起来的软件开发模型。
关键词
CMM PSP TSP 软件开发模型 软件体系结构 软件工程师
Keywords
CMM,PSP,TSP,Software Developing,Software Architecture
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 基于软件网络的服务自动分类和推荐方法研究
被引量：23
14
作者
潘伟丰 李兵 邵波 何鹏
机构
武汉大学软件工程国家重点实验 室浙江工商大学 计算机与信息工程 学院 武汉大学 复杂网络研究中心
出处
《计算机学报》
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
[自动化与计算机技术—计算机软件与理论]
题名 网络化软件的复杂网络特性实证
被引量：47
15
作者
马于涛 何克清 李兵 刘婧
机构
武汉大学软件工程国家重点实验 室武汉大学 计算机学院中国电子设备系统工程 公司研究所 武汉大学 复杂网络研究中心
出处
《软件学报》
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
[自动化与计算机技术—计算机软件与理论]
题名 基于迁移学习的软件缺陷预测
被引量：23
16
作者
程铭 毋国庆 袁梦霆
机构
武汉大学 计算机学院武汉大学软件工程国家重点实验 室
出处
《电子学报》
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
[自动化与计算机技术—计算机软件与理论]
题名 实用软件体系结构研究
被引量：10
17
作者
李振 肖书 唐胜群
机构
武汉大学软件工程国家重点实验 室
出处
《计算机工程与应用》
CSCD
北大核心
2000年第8期169-171,共3页
文摘
该文简要讨论了各种软件体系结构，重点讨论了在实践中如何分析大型MIS系统，如何用软件体系结构的方法来开发软件，并对实践之中出现的问题进行了初步的讨论。
关键词
软件体系结构 组件 事务处理流 软件工程
Keywords
Software architecture,component, transaction sheam
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 基于面向对象的软件需求分析规范及实施方法研究
被引量：5
18
作者
林子禹 邓万涛 彭德纯 刘溥 吴巍枫
机构
武汉大学软件工程国家重点实验 室
出处
《小型微型计算机系统》
CSCD
北大核心
1998年第7期59-63,共5页
基金
武汉大学软件工程国家重点实验室开放基金
文摘
本文采用面向对象的技术，对软件需求分析的任务、实施步骤和方法进行了研究，并给出了相应的规范说明。
关键词
面向对象 软件规范 软件需求分析 软件开发
Keywords
Requirements analysis Object-Oriented Procedure for software
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 面向多用户软件系统的可靠性分配的故障树分析法
被引量：7
19
作者
徐仁佐 向剑文 肖英柏
机构
武汉大学软件工程国家重点实验 室
出处
《小型微型计算机系统》
CSCD
北大核心
2001年第3期329-332,共4页
文摘
本文首先对目前已有的各种分配技术与方法的特点进行了探讨 ,介绍了如何采用故障树技术求得导致系统失效的功能模块的最小割集 ,首次提出运用故障树技术进行各模块可靠性的划分和确定 ,并提出了一种新的算法来快速、有效地确定各模块的重要度 ,结合考虑软件的总体开发费用 ,创建了一个新的基于软件实用性的可靠性分配模型并详细讨论了其具体运用 。
关键词
模块重要度 故障树分析法 软件系统 可靠性 软件开发
Keywords
Software reliability allocation Fault tree analysis Minimal cut set Software usability Components importance
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 面向服务软件异常处理过程的可终止性验证
被引量：4
20
作者
蒋曹清 应时 文静 贾向阳 管华
机构
武汉大学软件工程国家重点实验 室广西财经学院信息与统计学院
出处
《计算机科学与探索》
CSCD
2012年第3期208-220,共13页
基金
国家自然科学基金No.61070012 国家重点基础研究发展规划(973)No.G2007CB310800~~
文摘
大规模面向服务软件运行环境的动态性和不确定性使其异常处理逻辑复杂度高,导致异常处理过程的可终止性验证异常困难。而异常处理过程的可终止性是确保其正确性的重要基础,如果异常处理过程不能终止将导致面向服务软件无法正常运行。目前缺乏异常处理过程的可终止性验证方法,从而无法保证异常处理达到预期的目标。基于着色Petri网(colored Petri net,CPN)提出了一种面向服务软件异常处理过程的可终止性验证方法。该方法建立了包括正常流程和异常处理逻辑的异常层次CPN模型(hierarchy CPN model for exception handling,HCPN4EH)。基于此模型验证了异常处理过程的可终止性。通过一个实例说明了该方法的可行性和有效性。得到的可终止性验证结果可为进一步分析异常处理过程的正确性提供基础。
关键词
异常处理 可终止性验证 验证方法 面向服务软件
Keywords
exception handling termination verification verification method service-oriented software
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
