首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   12篇
  完全免费   4篇
  自动化技术   16篇
  2014年   1篇
  2012年   2篇
  2011年   1篇
  2010年   3篇
  2009年   1篇
  2008年   2篇
  2007年   1篇
  2005年   4篇
  2002年   1篇
排序方式: 共有16条查询结果,搜索用时 31 毫秒
1.
Semantic Web研究综述   总被引:9,自引:0,他引:9  
近年来,Semantic Web逐渐成为WWW领域的研究热点以及智能化网络服务和应用开发中的关键技术之一。归纳了Semantic Web技术的研究背景和主要发展历史。在分析了典型的Semantic Web概念后,给出了Semantic Web的定义。通过讨论Semantic Web构想的层次框架模型,指出了各个层次扮演的角色,并着重分析了Semantic Web的重要研究领域,指出了它们在Semantic Web构架中的核心作用。通过分析Semantic Web的应用领域和相关开发工具以及面临的问题和挑战,指明了Semantic Web研究和实践的方向。作为总结,给出了Semantic Web领域下一步的研究趋势。  相似文献
2.
Agile方法研究综述   总被引:7,自引:0,他引:7  
本文综述了近来新出现的Agile方法,对其应用范围、价值系统、核心实践给出了阐述,并介绍了XP、SCRUM、Crystal等主要的Agile方法及其发展趋势,在此基础上,给出了CMM与Agile方法之间的比较分析,最后提出了Agile方法待研究的问题。  相似文献
3.
软件过程度量的过程模型及其应用研究   总被引:4,自引:0,他引:4  
软件度量是软件工程中最活跃的一个研究领域。本文给出了一个软件过程度量的过程模型,定义了实施软件过程度量的角色、内容、主要活动及相关的支持环境,重点阐述软件过程度量的数据采集、验证和分析活动的目标、任务和方法。通过一个软件项目的度量过程实例,研究并确认该模型在过程评估和改进方面的作用和意义。本文的研究对于规范和改善组织的软件过程度量,提高组织的过程能力成熟度,具有一定的指导意义和广泛的应用价值。  相似文献
4.
基于π演算的动态软件架构研究   总被引:2,自引:0,他引:2       下载免费PDF全文
动态软件架构(Dynamic Software Architecture)是架构领域的研究热点.分析了动态软件架构建模应关注的问题,基于π演算提出了动态软件架构形式化建模的方法,给出了动态软件架构语义的推导算法,奠定了动态架构行为分析和仿真的基础,并能对动态架构的诸多要素进行建模,包括动态演化的起因、时间、操作、非瞬时特性、断点继续执行等.  相似文献
5.
基于行为自动机的构件可替换性分析与验证   总被引:2,自引:0,他引:2       下载免费PDF全文
在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出了4类可替换性的形式化定义及其之间的关系,并基于NFA理论给出了相关的验证算法。另外,该模型以构件的替换行为而不是其全部行为作为构件替换的参照,从而使替换时有更多的候选构件可供使用,提高了构件复用的几率。  相似文献
6.
基于本体的软件密集型系统架构知识管理研究   总被引:1,自引:0,他引:1  
为了解决架构知识蒸发的问题,提出了一种基于本体的架构知识管理框架。分析了该架构知识的分类,在此基础上从架构问题、架构设计决策和软件架构等3方面构建一个架构知识本体模型,并且描述了这3类架构知识的内涵及其相互关系,进而提出一个架构知识管理框架,能覆盖架构知识获取、编档、评价、存储和复用等过程,实现了架构知识的全面管理、共享和复用。  相似文献
7.
开放源码不仅提出了一种新型的软件开发模式,同时也倡导了一种新型的软件商务理念,成为软件业关注的焦点.侧重从政府、公司、开放源码三者相互作用和影响的角度,归纳了开放源码软件发展的历史,给出了开放源码软件的定义,介绍了开放源码的许可证制度和理论模型,分析了公司和政府的开放源码运动,最后总结了开放源码亟需解决的问题和发展趋势.  相似文献
8.
借鉴软件体系结构的思想,提出了面向体系结构的构件接口模型,它既能表达体系结构设计的高层抽象构件,又能表达底层代码级别的实现构件。同时基于该模型,运用顺序通信进程,提出了两级构件接口行为协议规约方法,能够有效规约大粒度复杂软件构件的行为交互协议。  相似文献
9.
基于构件的软件开发是软件开发的主流范型。构件通过连接件进行连接和交互。连接件是软件系统设计的一阶实体(First-class Entities),是决定软件系统功能和质量的重要因素。伴随软件系统和构件的规模及复杂程度日益增加,连接件变得愈加复杂和多样。因此,需要运用增量、合成的方法开发和支持复杂的连接件。本文提出一种根据已有连接件合成新连接件的形式化方法。该方法的特点是定义连接件合成的基本方式,即连接件运算符,组合运用连接件运算符合成复杂的连接件。并基于Wright连接件的形式化规约,给出了谊复合连接件形式化规约的生成算法。  相似文献
10.
随着社会的进步,系统中包含的信息越来越复杂。为了有效地处理这些信息,提出对象综合信息实时融合的系统框架。基于此框架的系统能够根据用户建立的对象模型实现分散异构信息的自动采集和实时融合,最后为上层应用提供全面、统一的信息支撑。由于对象模型支持动态扩展,因此系统具有很好的扩展性。基于该框架的系统已经在实际项目中得到应用,并且运行效果良好。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号