您的位置: 专家智库 > >

国家自然科学基金(60821003)

作品数:6 被引量:138H指数:4
相关作者:梅宏王戟王千祥张路刘譞哲更多>>
相关机构:北京大学国防科学技术大学更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 6篇自动化与计算...

主题

  • 2篇网构软件
  • 2篇互联
  • 2篇互联网
  • 1篇中间件
  • 1篇软件技术
  • 1篇软件质量
  • 1篇体系结构
  • 1篇网络
  • 1篇网络操作
  • 1篇网络操作系统
  • 1篇面向网络
  • 1篇模型驱动开发
  • 1篇互联网时代
  • 1篇SOFTWA...
  • 1篇TECHNI...
  • 1篇TECHNI...
  • 1篇TREND
  • 1篇FUTURE
  • 1篇操作系
  • 1篇操作系统

机构

  • 5篇北京大学
  • 1篇国防科学技术...

作者

  • 4篇梅宏
  • 1篇郭耀
  • 1篇黄罡
  • 1篇何啸
  • 1篇邵维忠
  • 1篇刘譞哲
  • 1篇张路
  • 1篇王千祥
  • 1篇王戟
  • 1篇麻志毅
  • 1篇孙艳春
  • 1篇冯超
  • 1篇朱文辉

传媒

  • 2篇软件学报
  • 1篇科学通报
  • 1篇计算机学报
  • 1篇Scienc...
  • 1篇中国科学:信...

年份

  • 1篇2013
  • 1篇2012
  • 1篇2011
  • 2篇2010
  • 1篇2009
6 条 记 录,以下是 1-6
排序方式:
互联网时代的软件技术:现状与趋势被引量:24
2010年
互联网(Internet)的快速发展为信息技术与应用扩展了更为广阔的空间,同时也为传统的软件开发理论、方法和技术带来了一系列的挑战.回顾了现有基于网络的新型计算范型和应用模式.探讨了软件模型、软件运行平台和支撑机制、软件开发方法和软件质量评价与保障体系的现状和发展趋势.讨论并展望了进一步的研究工作.
梅宏刘譞哲
关键词:互联网软件技术网构软件
一种支持多种模型转换技术的组合方法被引量:2
2012年
模型转换是模型驱动开发中的核心技术.为了解决复杂的转换问题,需要将多个相对简单的转换组合起来构成组合转换.目前存在多种转换技术,它们之间存在异构性,阻碍了组合转换的实现.首先分析实现组合转换的必要条件,进而提出一个组合转换模型,其中主要包括公共类型表示、公共模型表示、公共转换描述和组合转换定义语言等部分,用以实现支持多种转换技术的组合.另外,还介绍了一个组合转换平台的设计与实现,并通过一个案例说明所提方法及工具的可行性.
何啸麻志毅冯超邵维忠
关键词:模型驱动开发
基于编档的体系结构视图冲突检测方法
2011年
软件体系结构由不同的视图组成,每个视图包含不同的体系结构关注点.在软件工程领域中,如何对这些视图进行比对和合并是一项非常重要的研究工作.然而,目前视图比对的主要研究都着眼于视图元素之间的比对,因而并不能有效地发现视图之间的隐含冲突.主要原因是由于不同视图背后隐含着不同的关注点,而关注点之间的冲突并不能显式地在视图中表现出来,因此仅作视图元素比对不能发现这种隐含冲突.针对该问题,提出了一种基于编档的体系结构视图隐含冲突检测方法.在该方法中,通过对设计方法进行建模来捕获体系结构关注点和视图之间的关联关系;以软件体系结构文档作为通用平台,通过4个连续的活动来检测关注点之间的隐含关系;为了支持方法的自动化,就其中出现的关系给出了一套数学定义.
朱文辉黄罡孙艳春梅宏
面向网络的操作系统——现状和挑战被引量:4
2013年
操作系统是计算机系统中最为关键的一层系统软件.长期以来,操作系统发展的主线是面向单机,追求更好地发挥计算机硬件的计算能力,同时为上层应用和用户提供更友好易用的接口.随着网络技术的发展,如何更好地支持网络构成了操作系统发展的一个重要辅线.近年来,由于互联网的迅速普及,面向网络的操作系统得到了广泛的关注,并逐渐成为操作系统发展的新主线.为了更好地管理互联网上的分布海量资源,同时为互联网时代的新型应用和服务提供支持,操作系统技求正在产生许多重要的变革.本文简要回顾了操作系统的发展历史,分析了在互联网时代操作系统面临的主要挑战.在总结现有面向网络的操作系统的研究进展的基础上,讨论了其主要特点和未来发展趋势.最后,也介绍了我们在此领域针对网构软件的研发尝试.
梅宏郭耀
关键词:操作系统互联网中间件网络操作系统网构软件
软件分析技术进展被引量:105
2009年
软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主要从静态分析与动态分析两个方面介绍了一些主要的软件分析技术以及部分相关分析工具.结合软件的质量问题,文章还探讨了一些分析技术与软件质量属性的相关性,以便于人们在分析特定的软件质量属性时,选取合适的技术与工具.最后,文章展望了软件分析技术的发展趋势.
梅宏王千祥张路王戟
关键词:软件质量
Software techniques for Internet Computing:Current situation and future trend被引量:4
2010年
The fast development of the Internet has extended wider space for Information and Communications Technology(ICT),and it has brought a series of challenges for traditional software theories,models,approaches and technologies.This paper looks back some popular Internet-based new computing paradigms and application schemas,discusses the current status and the future trend of software technologies for Internet Computing,including topics of software model,software runtime supporting platform,software development methodologies and software quality measurement and assurance.
MEI HongLIU XuanZhe
关键词:INTERNETWARE
共1页<1>
聚类工具0