首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   30篇
  国内免费   1篇
  完全免费   34篇
  自动化技术   65篇
  2016年   1篇
  2014年   4篇
  2013年   10篇
  2012年   8篇
  2011年   7篇
  2010年   10篇
  2009年   4篇
  2008年   15篇
  2006年   4篇
  2005年   1篇
  2004年   1篇
排序方式: 共有65条查询结果,搜索用时 46 毫秒
1.
软件工程技术发展思索   总被引:164,自引:17,他引:147       下载免费PDF全文
在4个方面对软件工程技术的发展进行一些思索:(1) 从事物发展规律的角度,揭示软件工程技术发展历程;(2) 从软件本质特征的角度,浅析虚拟机各抽象层次的构造;(3) 从软件开发的本质,提出了软件工程学科研究的内容,并研究了软件工业化生产模式;(4) 以Internet的出现为背景,探索了软件技术的发展趋势.  相似文献
2.
一个适用于网构软件的信任度量及演化模型   总被引:25,自引:1,他引:24       下载免费PDF全文
王远  吕建  徐锋  张林 《软件学报》2006,17(4):682-690
网构软件的构建依赖于对开放协同环境中各种异构的、自治的软件服务实体间的有效协同.Internet的开放性与动态性,使得对于诚实的、具有可靠服务质量协同实体的选择难度较大,难以确保网构软件的可信性.软件实体间的信任关系对于保障网构软件的可信性具有重要的指导意义.软件实体间的信任关系通常随协作的进行而不断变化,但现有的信任模型缺乏对实体间信任关系的自动形成与更新的支持,从而无法刻画信任关系的动态性.针对该问题,提出了一个适用于网构软件的信任度量及演化模型.该模型不仅对信任关系度量过程和信任信息传递及合并过程进行了合理抽象,而且还提供了一种合理的方法,用于促进协同实体间信任关系的自动形成与更新.该模型有助于解决开放环境下网构软件的可信性问题.  相似文献
3.
构件软件测试技术研究进展   总被引:16,自引:0,他引:16  
软构件技术提供了一种较面向对象方法更为有效的软件设计模式,构件软件被广泛应用并成为一种主流软件形态.然而,构件的内部信息屏蔽、演变速度快以及构件间的异质、松耦合等特点给构件软件系统的测试带来极大的挑战,寻求高效的构件软件测试技术和开发实用的测试工具是当今软件业界一个亟待解决的课题.分析和归纳近年来一些典型的构件、构件软件测试方法和技术并对当前较为有效的测试框架和工具进行总结;最后,对其今后若干研究方向进行了展望.  相似文献
4.
软件形态受到应用、平台和技术发展的影响而不断演化。由于Internet这一新的计算环境的普及,传统的软件形态逐渐无法适应Intermet环境下的开发和应用,需要研究新的软件形态和软件技术。该文在分析软件发展历史的基础上结合相关研究说明了基于Internet环境的网构软件(Internetware)是未来软件的发展趋势,介绍了网构软件的基本特征,并说明了网构软件领域的研究问题。  相似文献
5.
基于OSGi的服务动态演化   总被引:3,自引:1,他引:2       下载免费PDF全文
张 仕  黄林鹏 《软件学报》2008,19(5):1201-1211
提出一种解决OSGi平台上服务动态演化的方法.针对OSGi平台的服务动态演化提出了重定向方法,解决了服务类定义的动态更新,较好地满足了演化中服务的透明性问题;提出了实现和数据相分离的方法,解决了服务动态演化中公共数据的一致性问题和动态演化问题;探讨了服务动态演化中服务增、减等问题.对所提出的方法均通过实例说明了其设计、运行和更新的可行性.所提出的方法可以用于指导解决组件、服务和面向对象软件动态演化中的相关问题.  相似文献
6.
一种可定制的自主构件运行支撑框架   总被引:3,自引:0,他引:3       下载免费PDF全文
孙 熙  庄 磊  刘 文  焦文品  梅 宏 《软件学报》2008,19(6):1340-1349
描述了一种动态、可定制的构件自主化的实现手段及运行平台,试图通过对实现自主构件的方法和手段的探索,为开发具有自主性的基于Internet的软件系统提供一定的实践基础和经验.在实现自主构件时,采取了改装已有普通构件的方式,将软件Agent技术和构件技术结合起来,通过为构件定制行为规则和规划来控制和调度构件的行为,使得构件能够根据环境的状态调整自己的行为.同时,通过集成可以解释和执行声明式规则的规则引擎,使得可以在不修改构件源代码和重新部署构件的情况下,动态定制和实现构件的自主性行为能力.  相似文献
7.
基于构件的网构软件系统动态演化   总被引:2,自引:1,他引:1       下载免费PDF全文
为适应网构软件系统在线演化的需求,提出一种基于构件的网构软件系统动态演化模型。该模型以构件为基本单位,基于软件体系结构部署和实施演化,给出构件添加、删除和替换需求的演化算法,通过引入一致性检查机制保证演化的安全和可靠。该模型实施简单、具有普遍适用性,软件系统无须进行大量的改动即可适应该演化模型。  相似文献
8.
一种基于信任机制的网构软件的构件选择方法研究   总被引:2,自引:0,他引:2       下载免费PDF全文
目前网构软件成为一种新的软件形态,如何选择可信构件来构造网构软件,并使其具有尽可能高的用户信赖度,已成为亟待解决的问题。提出了一种基于信任机制的构件选择模型,它运用历史交互构件软件的可信性评价、朋友推荐及构件声誉来计算构件的各项描述的可信性,从而选择可信构件。并提出了一种基于以上可信构件选择模型的构件选择方法,最后通过实验验证了该方法的可行性和有效性。  相似文献
9.
面向服务的网构软件中间件研究 *   总被引:2,自引:1,他引:1       下载免费PDF全文
网构软件是近年来提出的一种具有自底向上的自主性、协同性、反应性、演化性、多态性等特征的软件状态 ,主要用来解决 Internet下分散的构件体的共享、集成和复用 ,但网构软件还处于发展初始阶段。结合 SCA简化 SOA所构建的业务应用程序的设计和集成 ,以及 SDO和 DAS的数据访问模式来构建一种网构软件中间件框架 ,并用 UML对各个阶段建模 ;最后结合 Apache下 SCA系统的 Tuscany开源包的一个远程教育集成系统来应用该网构软件中间件。  相似文献
10.
支持协商的网构软件体系结构行为建模与验证   总被引:2,自引:0,他引:2       下载免费PDF全文
周 立  陈湘萍  黄 罡  孙艳春  梅 宏 《软件学报》2008,19(5):1099-1112
针对网构软件行为中的不确定性和不完整性,提出了一种支持协商的网构软件体系结构行为建模与验证方法.在建模中,该方法借鉴了UML时序图元素表示法,并增加了建模元素支持行为的不确定与不完整建模.在验证中,除了集成广泛应用的模型检查工具Spin以提供行为模型的验证能力以外,还引入了基于反例引导的抽象-精化过程思想的协商检查,以解决不确定和不完整建模所带来的正确性验证问题.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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