题名 基于模型的软件成本估计方法
被引量：10
1
作者
何晓阳 王亚沙
机构
北京大学信息科学技术学院软件工程研究所
出处
《计算机研究与发展》
EI
CSCD
北大核心
2006年第5期777-783,共7页
基金
国家"八六三"高技术研究发展计划基金项目(2004AA112070 2005AA113030) 国家"九七三"重点基础研究发展规划基金项目(2002CB312003)~~
文摘
准确的估计是进行有效的项目计划、跟踪和控制的基础.基于模型的成本估计方法是软件成本估计研究的重点,它可分为算法驱动式模型、数据驱动式模型以及复合式模型.依照该分类模式,介绍了典型的软件成本估计方法,并从内部属性及外部评价两个维度共计11个指标对每类方法的假设前提、适用范围、优势及局限性进行深入的分析.最后,对软件成本估计研究的未来发展进行探讨.
关键词
软件成本估计 算法驱动式模型 数据驱动式模型 复合式模型
Keywords
software cost estimation algorithm-driven model data-driven model composite model
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 字符串分析研究进展
被引量：2
2
作者
梅宏 王啸吟 张路
机构
高可信软件 技术 教育部重点实验室(北京大学 ) 北京大学信息科学技术学院软件工程研究所
出处
《软件学报》
EI
CSCD
北大核心
2013年第1期37-49,共13页
基金
国家重点基础研究发展计划(973)(2009CB320703) 国家自然科学基金(60931160444 +1 种基金 91118004 61225007)
文摘
随着软件应用范围的不断扩大,尤其是数据库软件和Web软件的广泛应用,字符串变量在软件程序中扮演的角色日益重要.与此同时,针对字符串变量的程序分析技术——字符串分析,也取得了长足的发展,并在软件工程中的很多领域中得到了成功的应用.字符串分析的基本应用模式是首先使用字符串值分析获得字符串变量的所有可能取值,然后使用字符串约束求解判断这些变量的取值是否满足一定约束,从而对程序进行正确性验证.为了使得字符串分析能够应用在安全分析和软件维护应用中,研究人员对字符串分析进行了扩展,进一步分析字符串变量的数据来源.综述了字符串分析技术的研究进展,提出了字符串分析的问题构型,介绍了这一领域现在的主要研究内容:字符串值分析、字符串约束求解、字符串数据来源分析以及字符串分析在软件工程中的应用.
关键词
程序分析 字符串分析 约束求解
Keywords
program analysis string analysis constraint solving
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 一种面向服务的体系结构参考模型
被引量：108
3
作者
麻志毅 陈泓婕
机构
北京大学信息科学技术学院软件工程研究所
出处
《计算机学报》
EI
CSCD
北大核心
2006年第7期1011-1019,共9页
基金
本课题得到国家"九七三"重点基础研究发展规划项目基金(200ZCB312003) 国家科技攻关计划项目基金(2003BA904802) 国家自然科学基金(60473064)资助.
文摘
在对当前的面向服务体系结构研究的基础上,提出了一种用于设计面向服务体系结构的参考模型,深入地阐述了有关概念,详述了参考模型的结构以及其中的服务总线和服务合约的元模型,并提出了一个用于评价面向服务体系结构的成熟度模型．该参考模型为进一步设计面向服务的体系结构奠定了基础．
关键词
面向服务的体系结构 体系结构参考模型 成熟度模型
Keywords
SOA architecture reference model maturity model
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 一种规则驱动的网络服务组装机制
被引量：3
4
作者
孙熙 刘譞哲 焦文品 黄罡 梅宏
机构
北京大学信息科学技术学院软件工程研究所
出处
《计算机学报》
EI
CSCD
北大核心
2006年第7期1084-1094,共11页
基金
本课题得到国家"九七三"重点基础研究发展规划项目基金(2002CB212003) 国家自然科学基金(60233010 +1 种基金 60303004 90412011)资助.
文摘
提出了一种规则驱动的服务组装方法,实现了一个基于软件Agent的框架,在运行时刻监控和管理组装流程的执行．该方法给出一个算法将流程规约转化为等价的规则集合以用于指导Agent的行为,并允许用户通过定义一组可插拔(pluggable)的自适应策略,方便地扩展流程对变化的适应能力．框架实现基于反射式中间件平台PKUAS,该平台为网络服务和软件Agent提供运行支持,并基于其反射机制为Agent提供运行时刻的环境信息．
关键词
服务组装 规则 适应性 软件AGENT
Keywords
Web service composition rules adaptation software agent
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 基于用户视角的组合Web服务响应时间优化
被引量：3
5
作者
王亚沙 赵俊峰 谢冰
机构
北京大学信息科学技术学院软件工程研究所
出处
《计算机学报》
EI
CSCD
北大核心
2006年第7期1179-1188,共10页
基金
本课题得到国家"八六三"高技术研究发展计划项目基金(2005AA113030) 国家自然科学基金(60473059)资助.
文摘
针对响应时间,通过选择、调用合适的成员Web服务,对组合Web服务的QoS进行优化．该优化方法基于用户的视角,将组合Web服务运行时用户一次等待周期中需要执行的所有任务作为一个整体进行调度;同时根据组合Web服务流程的不同环节中用户对等待时间的不同敏感度,设置调度参数,降低关键环节超时的风险．实验表明,此方法可以有效地优化组合Web服务的响应时间,提高用户的满意度和QoS．
关键词
WEB服务 服务质量 响应时间 组合WEB服务 服务选择
Keywords
Web services quality of service response time composite Web services service selection
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 无线传感设备及数据的对象化访问方法
被引量：3
6
作者
张伟 宋晖 黄罡
机构
北京大学 高可信软件 技术 教育部重点实验室北京大学信息科学技术学院软件工程研究所 软件 工程 国家工程 研究 中心
出处
《计算机科学与探索》
CSCD
2011年第12期1076-1084,共9页
基金
国家自然科学基金No.60821003 60933003 +2 种基金 60873060 国家重点基础研究发展规划(973)No.2009CB320703 国家科技重大专项No.2011ZX01043-001-002~~
文摘
物联网(Internet of things,IOT)是近年来的研究热点之一,然而传感设备只提供了比较底层的访问接口,通过接口所获得的数据与应用层所需的数据在概念上存在较大的差异。针对这一问题,提出一种无线传感设备及其数据的对象化访问方法。该方法通过UML(unified modeling language)类图建立设备模型与应用模型,利用SM@RT(supporting models at runtime)工具建立设备访问模型,将设备接口与设备模型进行关联,并用QVT(query/view/transformation)关联设备模型和应用模型。实验结果验证了该方法的可行性和有效性。
关键词
物联网 无线传感器 面向对象 对象关系映射
Keywords
Internet of things （lOT） wireless sensor object oriented object relation mapping
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
