期刊文献+
共找到54篇文章
< 1 2 3 >
每页显示 20 50 100
基于复用的软件生产技术 被引量:110
1
作者 杨芙清 +1 位作者 梅宏 陈兆良 《中国科学(E辑)》 CSCD 北大核心 2001年第4期363-371,共9页
软件复用是提高软件产品质量与软件生产效率的关键技术 ,在此 ,重点论述与软件复用及软件构件技术相关的系列问题 :描述构件本质特征的构件模型、以领域工程为主要途径的构件获取技术、以构件库为核心的构件管理技术、以应用工程为途径... 软件复用是提高软件产品质量与软件生产效率的关键技术 ,在此 ,重点论述与软件复用及软件构件技术相关的系列问题 :描述构件本质特征的构件模型、以领域工程为主要途径的构件获取技术、以构件库为核心的构件管理技术、以应用工程为途径的系统集成组装技术 ,以及以软件再工程为途径的软件演化技术等 .最后 ,介绍将上述各软件生产技术进行有效集成的软件开发环境 :青鸟软件生产线系统 . 展开更多
关键词 软件复用 软件构件 领域工程 构件库 应用工程 软件再工程 软件生产技术
原文传递
基于软件体系结构的反射式中间件研究 被引量:65
2
作者 黄罡 +1 位作者 梅宏 杨芙清 《软件学报》 EI CSCD 北大核心 2003年第11期1819-1826,共8页
Internet为分布应用提供了一种开放、动态的运行环境,这要求分布应用的主要基础设施中间件能够支持运行时查看并调整平台内部状态和行为,由此产生了反射式中间件.目前的反射式中间件研究与实践存在3个不足注重系统局部或单个实体的反射... Internet为分布应用提供了一种开放、动态的运行环境,这要求分布应用的主要基础设施中间件能够支持运行时查看并调整平台内部状态和行为,由此产生了反射式中间件.目前的反射式中间件研究与实践存在3个不足注重系统局部或单个实体的反射而缺乏全局视图;注重中间件平台内部功能的反射,而对上层应用的反射不够;集中于CORBA平台,而对J2EE平台的反射性研究较少.介绍了一个反射式的J2EE应用服务器PKUAS.基于构件化的平台内部体系结构,PKUAS引入软件体系结构作为全局视图以实现反射体系对系统整体的表示和控制,作为J2EE应用服务器,PKUAS可反射底层平台以及上层EJB构件.同时,以PKUAS实时监控工具为例,探讨了如何利用基于软件体系结构的反射体系管理整个系统,并给出了PKUAS与其他几种反射式中间件的比较.该工作有效地解决了现阶段反射式中间件研究的不足,提高了反射式中间件的实用性. 展开更多
关键词 构件 中间件 反射性 软件体系结构 J2EE
下载PDF
软件分析技术进展 被引量:101
3
作者 梅宏 +1 位作者 张路 《计算机学报》 EI CSCD 北大核心 2009年第9期1697-1710,共14页
软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主... 软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主要从静态分析与动态分析两个方面介绍了一些主要的软件分析技术以及部分相关分析工具.结合软件的质量问题,文章还探讨了一些分析技术与软件质量属性的相关性,以便于人们在分析特定的软件质量属性时,选取合适的技术与工具.最后,文章展望了软件分析技术的发展趋势. 展开更多
关键词 软件分析 静态分析 动态分析 软件质量
下载PDF
一种面向对象的领域工程方法 被引量:9
4
作者 吴琼 +1 位作者 李克勤 杨芙清 《软件学报》 EI CSCD 北大核心 2002年第10期1977-1984,共8页
介绍了一种面向对象的领域工程方法青鸟领域工程方法.领域工程是对一个领域中的若干系统进行分析,识别这些应用的共同特征和可变特征,进行面向复用的开发,产生出特定于领域的构件和构架.领域工程给软件复用提供了有力的支持.青鸟领域工... 介绍了一种面向对象的领域工程方法青鸟领域工程方法.领域工程是对一个领域中的若干系统进行分析,识别这些应用的共同特征和可变特征,进行面向复用的开发,产生出特定于领域的构件和构架.领域工程给软件复用提供了有力的支持.青鸟领域工程方法以青鸟面向对象开发方法为基础,明确规定了领域工程中各个阶段的活动和产品,并针对每个阶段和活动给出了操作指南. 展开更多
关键词 面向对象 领域工程方法 软件工程 软件复用 可复用构件
下载PDF
PKUAS:一种面向领域的构件运行支撑平台 被引量:43
5
作者 黄罡 +1 位作者 曹东刚 梅宏 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期1938-1942,共5页
基于中间件的构件运行支撑平台是实现基于构件的软件复用的关键.现有中间件技术侧重于解决大多数领域开发分布系统均会遇到的共性问题,忽视了单个应用领域内的共性问题.在下一代中间件技术追求的主要特性中,开放性与灵活性能够有效增强... 基于中间件的构件运行支撑平台是实现基于构件的软件复用的关键.现有中间件技术侧重于解决大多数领域开发分布系统均会遇到的共性问题,忽视了单个应用领域内的共性问题.在下一代中间件技术追求的主要特性中,开放性与灵活性能够有效增强中间件对领域特性的支持.本文介绍了一个开放、灵活、面向领域的构件运行支撑平台,重点研究了平台内核、可扩展互操作框架以及元编程机制,并结合电力领域探讨了面向领域的定制与扩展方法. 展开更多
关键词 PKUAS 构件 中间件 应用服务器 面向领域 软件复用
下载PDF
面向对象领域设计中的变化性处理 被引量:29
6
作者 陈兆良 +1 位作者 梅宏 杨芙清 《电子学报》 EI CAS CSCD 北大核心 2001年第11期1486-1490,共5页
在领域工程中识别、描述和实现变化性 ,对应用系统的开发具有重要的指导意义和直接作用 .其中在领域设计阶段 ,建立比较合理、比较灵活的DSSA ,将系统的可变部分与固定部分分离开来 ,将系统成分在DSSA和构件之间进行合理的分配 ,把变化... 在领域工程中识别、描述和实现变化性 ,对应用系统的开发具有重要的指导意义和直接作用 .其中在领域设计阶段 ,建立比较合理、比较灵活的DSSA ,将系统的可变部分与固定部分分离开来 ,将系统成分在DSSA和构件之间进行合理的分配 ,把变化性实现为构件 ,是领域工程的核心及关键性工作 .本文运用设计模式和OO框架 ,提出了面向对象领域设计中常见变化性的解决方案 ,并将这些方案应用于POS领域的领域设计 . 展开更多
关键词 软件复用 软件构件 面向对象 程序设计
下载PDF
程序分析研究进展 被引量:45
7
作者 张健 张超 +8 位作者 玄跻峰 熊英飞 梁彬 李炼 窦文生 陈振邦 陈立前 蔡彦 《软件学报》 EI CSCD 北大核心 2019年第1期80-109,共30页
在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析... 在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等),特别是最近10余年的研究进展.进而介绍了针对不同类型软件(移动应用、并发软件、分布式系统、二进制代码等)的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战. 展开更多
关键词 程序分析 软件质量保障 静态分析 动态分析
下载PDF
一种面向构件化软件的在线演化方法 被引量:19
8
作者 晓鹏 梅宏 《计算机学报》 EI CSCD 北大核心 2005年第11期1890-1897,共8页
针对构件化软件系统,提出了一种对软件进行在线演化的方案,并以一个符合J2EE规范的构件运行支撑平台为例讨论了该方案的实现.该方案借助JAVA平台的类装载机制,通过仔细划分构件实例的生命周期,针对不同状态的构件采取相应的措施,实现了... 针对构件化软件系统,提出了一种对软件进行在线演化的方案,并以一个符合J2EE规范的构件运行支撑平台为例讨论了该方案的实现.该方案借助JAVA平台的类装载机制,通过仔细划分构件实例的生命周期,针对不同状态的构件采取相应的措施,实现了以构件为粒度的软件在线演化. 展开更多
关键词 软件维护 在线演化 构件 容器 应用服务器
下载PDF
自适应软件初探 被引量:21
9
作者 申峻嵘 梅宏 《计算机科学》 CSCD 北大核心 2004年第10期168-171,178,共5页
随着因特网向社会各角落的渗透式扩张,普适计算、同格计算等新型应用模式的不断涌现,软件面临的挑战也越来越多:管理和维护成本逐步增加、对健壮性的需求逐步增加、存储态与运行态方面的差异越来越明显,等等。自适应软件针对上述挑战,... 随着因特网向社会各角落的渗透式扩张,普适计算、同格计算等新型应用模式的不断涌现,软件面临的挑战也越来越多:管理和维护成本逐步增加、对健壮性的需求逐步增加、存储态与运行态方面的差异越来越明显,等等。自适应软件针对上述挑战,提供了一系列新的解决机制,试图使软件自身能够在运行过程中,实时收集系统的各种变化信息,并根据预先设定好的策略,在必要时对自身进行自动调整,从而更好地为用户提供服务。本文结合作者的研完工作,对自适应软件的基本概念、研究现状、研究途径等问题进行了初步探讨。 展开更多
关键词 软件 自适应 健壮性 普适计算 网格计算 实时 存储 增加 解决机制 挑战
下载PDF
分布对象技术与软件复用 被引量:14
10
作者 刘畅 赵鲁印 《计算机科学》 CSCD 北大核心 1999年第5期61-64,共4页
一、引言软件复用是指重复使用“为了复用目的而设计的软件”的过程。通过复用,可以控制软件开发的夏杂度,缩短开发周期,并提高软件产品的质量。由于软件开发模式多种多样,因此复用的方式也不尽相同,其中基于构件(Component)的复用是目... 一、引言软件复用是指重复使用“为了复用目的而设计的软件”的过程。通过复用,可以控制软件开发的夏杂度,缩短开发周期,并提高软件产品的质量。由于软件开发模式多种多样,因此复用的方式也不尽相同,其中基于构件(Component)的复用是目前学术界与产业界公认的主流技术,与其它复用方式相比,基于构件的复用更为可行、实用。它涉及构件的获取、管理以及组装等环节,其中组装是产生应用程序的最后一步,也是整个过程的重要环节、构件形态多样(源码、目标码等),存在多种组装方式。 展开更多
关键词 分布对象 软件复用 软件开发 互操作性
下载PDF
基于应用特征的PaaS弹性资源管理机制 被引量:13
11
作者 魏豪 周抒睿 +2 位作者 张锐 杨挺 《计算机学报》 EI CSCD 北大核心 2016年第2期223-236,共14页
如何在保障服务质量的前提下,尽可能地节省服务器资源,是云计算环境中弹性资源管理面临的主要问题之一.目前关于云计算环境中弹性机制的研究多数集中在IaaS层,且较少考虑不同应用的具体特征.文中提出了一种基于应用特征的PaaS弹性资源... 如何在保障服务质量的前提下,尽可能地节省服务器资源,是云计算环境中弹性资源管理面临的主要问题之一.目前关于云计算环境中弹性机制的研究多数集中在IaaS层,且较少考虑不同应用的具体特征.文中提出了一种基于应用特征的PaaS弹性资源管理机制AFERM(Application Feature based Elastic Resource Management mechanism),主要贡献包括:(1)定义了包含资源开销信息与请求率变化信息的应用特征;(2)设计了一种基于应用执行单元的请求分配机制,在请求数量较大时,将它们划分给多个资源开销相对固定的应用执行单元分别处理;(3)基于应用特征将不同类型的应用搭配部署.作者在自主开发的PaaS平台PAE(Peking university Application Engine)上验证了该机制的可行性和有效性.实验证明,AFERM能够在保证服务质量的前提下,有效地减少服务器的使用:与对比策略相比,AFERM平均可以减少28.3%的虚拟机占用,最多可以减少50%. 展开更多
关键词 云计算 PAAS 弹性 应用特征
下载PDF
大模型:基于自然交互的人机协同软件开发与演化工具带来的挑战 被引量:9
12
作者 李戈 彭鑫 +5 位作者 谢涛 金芝 马晓星 李宣东 《软件学报》 EI CSCD 北大核心 2023年第10期4601-4606,共6页
以自然语言生成为核心的大模型技术正在人工智能领域掀起热潮,并持续向更多的领域穿透其影响力.以ChatGPT为代表的自然语言生成大模型(以下简称大模型),已经在软件工程的多项活动中展示出其通过自然交互方式给人提供一定程度帮助的能力... 以自然语言生成为核心的大模型技术正在人工智能领域掀起热潮,并持续向更多的领域穿透其影响力.以ChatGPT为代表的自然语言生成大模型(以下简称大模型),已经在软件工程的多项活动中展示出其通过自然交互方式给人提供一定程度帮助的能力和潜力,正在发展成为一种基于自然交互的人机协同软件开发与演化工具.从人机协同软件开发与演化的视角,大模型作为一种软件工具呈现出了两大特征:其一是基于自然语言的人机交互,在相当大程度上拓展了人机协同的工作空间、提高了人机协同的效率和灵活性;其二是基于已积累的软件开发和演化知识、针对给定软件开发和演化任务的预测性内容生成,可以对软件开发和演化工作提供一定程度的支持和帮助.然而,由于大模型本质是基于概率与统计原理和训练数据所形成的数学模型,具有不可解释性和内生不确定性,其生成的是缺失可信性判断的预测性内容,而人在软件开发与演化中所需要完成的是具有可信保障的决策性任务,所以大模型作为一种软件工具,在人机协同的软件开发和演化工作环境中给人提供帮助的同时,也带来了诸多的挑战.围绕如何构造对软件开发与演化更有帮助的代码大模型、如何引导大模型生成对软件开发与演化更有帮助的预测性内容、如何基于大模型生成的预测性内容开发与演化高质量的软件系统等大模型带来的挑战进行分析和阐述. 展开更多
关键词 软件开发与演化 大语言模型 人机协同
下载PDF
Reuse-based software production technology 被引量:6
13
作者 杨芙清 +1 位作者 梅宏 陈兆良 《Science in China(Series F)》 2001年第1期8-19,共12页
Software reuse is viewed as a key technology to improve software product quality and productivity. This paper discusses a series of technologies related with software reuse and software component technology: component... Software reuse is viewed as a key technology to improve software product quality and productivity. This paper discusses a series of technologies related with software reuse and software component technology: component model, which describes component’s essential characteristics; component acquisition technology, of which domain engineering is the main approach; component management technology, of which component library is the kernel; application integration and composition technology, of which application engineering is the main approach; software evolution technology, of which software reengineering is the main approach, etc. This paper introduces the software development environment: JadeBird Software Production Line System, which effectively integrates the above-mentioned technologies. 展开更多
关键词 software reuse software component domain engineering component library application engineering rengineering.
原文传递
深度学习在缺陷修复者推荐中的应用 被引量:8
14
作者 胡星 《计算机科学与探索》 CSCD 北大核心 2017年第5期700-707,共8页
目前许多软件项目使用缺陷追踪系统来自动化管理用户或者开发人员提交的缺陷报告。随着缺陷报告和开发人员数量的增长,如何快速将缺陷报告分配给合适的缺陷修复者正在成为缺陷快速解决的一个重要问题。分别使用长短期记忆模型和卷积神... 目前许多软件项目使用缺陷追踪系统来自动化管理用户或者开发人员提交的缺陷报告。随着缺陷报告和开发人员数量的增长,如何快速将缺陷报告分配给合适的缺陷修复者正在成为缺陷快速解决的一个重要问题。分别使用长短期记忆模型和卷积神经网络两种深度学习方法来构建缺陷修复者推荐模型。该模型能够有效地学习缺陷报告的特征,并且根据该特征推荐合适的修复者。通过与传统机器学习方法(如贝叶斯方法和支持向量机方法)进行对比,该方法可以比较有效地在众多开发者中找出合适的缺陷修复者。 展开更多
关键词 缺陷追踪 缺陷报告分配 深度学习
下载PDF
长期间歇性小剂量利尿剂治疗慢性心衰的临床效果分析 被引量:7
15
作者 《中外医疗》 2017年第7期7-9,共3页
目的剖析慢性心衰用长期间歇性小剂量利尿剂的疗效。方法利用电脑随机双盲法,分组方便选取该院2014年9月—2016年3月期间接收的130例慢性心衰病例:实验与对照各65例。前者行长期间歇性小剂量利尿剂治疗,后者行长期持续服用利尿剂治疗。... 目的剖析慢性心衰用长期间歇性小剂量利尿剂的疗效。方法利用电脑随机双盲法,分组方便选取该院2014年9月—2016年3月期间接收的130例慢性心衰病例:实验与对照各65例。前者行长期间歇性小剂量利尿剂治疗,后者行长期持续服用利尿剂治疗。观察比较两组用药后病情的改善情况。结果实验与对照两组的疗效比较差异无统计学意义(92.31%vs 87.69%),但前者用药后的电解质紊乱发生情况与再入院情况明显优于对照组(P<0.05);实验组不良反应发生率(6.15%)、患者满意度(95.38%)明显优于对照组(21.34%、76.92%)(P<0.05)。结论对慢性心衰者施以长期间歇性小剂量利尿剂治疗,有助于降低疾病复发率,减少电解质紊乱发生风险。 展开更多
关键词 慢性心衰 电解质紊乱 长期间歇性 利尿剂
下载PDF
一种基于模型的特征交互检测方法 被引量:4
16
作者 左继红 梅宏 《软件学报》 EI CSCD 北大核心 2007年第1期94-104,共11页
为了适应业务的不断更新,许多软件系统通过向公共的基础系统插入新的扩展来实现演化.这种演化策略虽然有利于并行开发和部署,但也面临着扩展间可能发生非预期特征交互的问题.目前,形式化方法在检测特征交互问题方面仍然是最有效的方法之... 为了适应业务的不断更新,许多软件系统通过向公共的基础系统插入新的扩展来实现演化.这种演化策略虽然有利于并行开发和部署,但也面临着扩展间可能发生非预期特征交互的问题.目前,形式化方法在检测特征交互问题方面仍然是最有效的方法之一.这类方法着眼于检测扩展之间是否会发生冲突.虽然在小规模实验上较为成功,但是它们也面临着一些挑战.例如:扩展的非单调性、扩展组合的激增以及扩展模型可能无法获知的问题.实际上,许多特征交互都源于新扩展对基系统和已有扩展造成的不恰当影响.基于这种认识,集中关注由于扩展的不恰当影响所导致的交互冲突问题,提出了如何从已知的特征交互实例来分析产生冲突的原因的具体方法,并说明了如何制定约束以限制扩展中易导致冲突的行为,从而预防同一类行为可能导致的各种冲突.该方法被应用到电信系统特征交互的分析上,实验结果表明,大部分特征交互中导致冲突的行为都可以被检测出来.该方法不仅能够保证原有基系统或扩展模型的稳定、有效,避免扩展组合带来的问题,而且它无须公布扩展的模型细节. 展开更多
关键词 特征交互 模型检测 模型 约束 非单调性 形式化方法
下载PDF
自适应软件系统:开发方法和运行支撑专题前言 被引量:5
17
作者 吕建 +1 位作者 马晓星 毛新军 《软件学报》 EI CSCD 北大核心 2015年第4期711-712,共2页
随着软件应用范围的不断扩大,其运行平台正从传统的计算机延展到嵌入式设备、移动设备和开放的互联网,并与物理系统、社会系统等更加紧密地融合在一起.这种开放、动态、难控的运行环境要求软件系统需具备一定程度的自适应能力——也就是... 随着软件应用范围的不断扩大,其运行平台正从传统的计算机延展到嵌入式设备、移动设备和开放的互联网,并与物理系统、社会系统等更加紧密地融合在一起.这种开放、动态、难控的运行环境要求软件系统需具备一定程度的自适应能力——也就是说,软件系统应能主动感知环境和需求的变化,并据以调整自身结构和行为,以持续地提供满足(甚至超出)用户期望的服务.近年来,自适应软件系统的相关理论、方法和技术得到学术界和工业界的广泛关注,研究非常活跃.为总结我国在自适应软件的开发方法和运行支撑等方面的最新成果,促进该领域的学术交流,推动进一步研究,我们组织了本期专题. 展开更多
关键词 自适应能力 软件系统 运行平台 专题 支撑 开发 嵌入式设备 自适应软件
下载PDF
一种基于自主构件的网构软件协作框架 被引量:5
18
作者 刘文 孙熙 +1 位作者 焦文品 《计算机研究与发展》 EI CSCD 北大核心 2006年第z1期217-221,共5页
网构软件的协作具有真分布、无全局规划、非强制性等新的特征,这对协作提出了新的要求.在传统构件的基础上,借鉴Agent领域中对自主性的理解,使用自主构件这一概念来对具有自主性的计算资源进行建模,并描述了一种基于自主构件的协作框架... 网构软件的协作具有真分布、无全局规划、非强制性等新的特征,这对协作提出了新的要求.在传统构件的基础上,借鉴Agent领域中对自主性的理解,使用自主构件这一概念来对具有自主性的计算资源进行建模,并描述了一种基于自主构件的协作框架.该框架中借助环境改变来引导自主构件间的协作行为,协作过程中没有直接干预其他自主构件的行为,更没有强迫其他自主构件参与,但自主构件却能采取所期望的行动最终实现协作目标. 展开更多
关键词 网构软件 自主构件 AGENT 协作
下载PDF
《云计算和服务计算》专辑前言 被引量:4
19
作者 韩燕波 陈俊亮 《计算机学报》 EI CSCD 北大核心 2011年第12期2251-2252,共2页
云计算作为一种新兴的信息处理基础设施模式和商业模式得到广泛认可之后,人们开始关注其背后的科学问题和特有的核心技术,以便能更有效、高效、节省、保质地建设和利用云基础设施.此外,软件和资源走进云基础设施,以服务的形式为消费者所... 云计算作为一种新兴的信息处理基础设施模式和商业模式得到广泛认可之后,人们开始关注其背后的科学问题和特有的核心技术,以便能更有效、高效、节省、保质地建设和利用云基础设施.此外,软件和资源走进云基础设施,以服务的形式为消费者所用,服务成为接入和放大各类基础设施能力的基本途径.云计算与服务计算的关系非常密切,云计算中最常提到的软件即服务(SaaS)、平台即服务(PaaS)和基础设施即服务(IaaS)中最核心的就是服务,而近来服务计算相关研究也多涉及云基础设施上的资源共享和应用集成. 展开更多
关键词 服务 计算 基础设施 专辑 资源共享 商业模式 信息处理 科学问题
下载PDF
基于对象请求代理的程序自动开发方法与工具 被引量:1
20
作者 骆永华 +1 位作者 梅宏 杨芙清 《软件学报》 EI CSCD 北大核心 2002年第5期921-927,共7页
随着分布式对象技术的日益流行,越来越多的应用程序开始采用基于对象请求代理(object request broker,简称ORB)进行开发.从开发人员角度看,目前这类应用程序在开发过程上仍存在一些不足之处,例如,需要掌握的基本概念较多,ORB产品之间的... 随着分布式对象技术的日益流行,越来越多的应用程序开始采用基于对象请求代理(object request broker,简称ORB)进行开发.从开发人员角度看,目前这类应用程序在开发过程上仍存在一些不足之处,例如,需要掌握的基本概念较多,ORB产品之间的兼容性不足等.在深入分析了这些问题后,提出了一种改进开发过程的方法,通过代码自动生成,分离特定于ORB产品的代码等技术,尽可能提供对其中开发活动的自动支持.实验结果表明,实现上述方法的支撑工具原型系统可以有效地减少代码编写量,并降低编码出错的概率. 展开更多
关键词 对象请求代理 程序自动开发方法 工具 CASE 软件工程
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部