排序方式: 共有52条查询结果,搜索用时 15 毫秒
31.
32.
Web服务的模型检测技术探讨 总被引:1,自引:0,他引:1
从模型检测的基本概念出发,针对目前面向服务计算模式中,组合Web服务验证确认过程存在的问题,着重讨论了模型检测应用于Web服务验证中的关键技术,例如如何验证动态绑定服务的可信性,如何克服服务组合过程中的复杂性和不确定性;比较全面地总结并比较了几种具有代表性的对Web服务进行验证和确认的模型检测技术和相关工具;并探讨了应用于Web服务验证框架的模型检测技术研究中存在的一些问题及相应的解决方案. 相似文献
33.
34.
35.
基于CMMI的过程和产品质量保证模型 总被引:3,自引:0,他引:3
为探索有效地实施基于CMMI的过程和产品质量保证方法,文章比较了基于CMM和CMMI的质量保证过程的差异、质量保证与验证及确认之间的关系,结合ISO9001质量体系,提出了一个过程和产品质量保证的实施框架和过程模型,并以过程评价为例,说明了开展质量保证活动的方法。 相似文献
36.
中小型软件企业知识管理的研究 总被引:3,自引:0,他引:3
越来越多的我国中小型软件企业认识到员工的知识是企业最有价值的资产,而且在企业中实施知识管理是十分必要的。首先概括了这些企业在知识管理方面的现状,提出了一个适用于中小型软件企业的知识管理体系,说明了知识管理与CMM/CMMI的关系,并给出了知识管理与软件过程管理的结合模型,介绍了一个软件企业知识管理系统的模型框架,分享了实施知识管理的一些经验。 相似文献
37.
针对客户机/服务器系统的特点,运用软件工程的方法,以《国家图书馆典藏流通系统》的测试做为例子,论述了客户机/服务器系统测试的几个值得注意的方面。 相似文献
38.
面向方面编程与构件技术的结合是开发更加可复用、可扩展的软件的新方法,不同于传统的通过修改系统架构以及引入新的编程语言实现二者的结合。提出一种将文件划分为构件与方面,利用XML语言描述构件与方面的编织关系,结合构件客器技术与面向方面编程的方法实现构件与方面的运行时编织的方法。新的方法既可以简单方便地描述方面,又有效地扩展了现有系统,原有构件不需要任何改动,就可以直接实现同方面的编织,井确保比较高的运行效率。同时该方法在CAR上的软件工程实践也作了描述。 相似文献
39.
基于XML的RPC技术分析 总被引:1,自引:1,他引:0
RPC(Remote Procedure Call,远程过程调用)是支持分布式应用系统之间通讯的一种重要机制。基于XML(eXtansible MarkupLanguage,可扩展标识语言)的RPC技术采用工业界的信息交换标准XML的消息格式封装RPC。由于XML技术提供了一种开放的、有语义的讯息机制,基于XML的RPC技术可有效支持网络环境下异构平台上应用系统的互操作。本文在分析RPC技术的主要机制的基础上,对XML的RPC技术和传统的RPC技术进行了比较,并讨论了当前两种主要的基于XML的RPC协议XML-RPC和SOAPRPC。文章最后分析了一个简单的在Java SOAP RPC协议上实现的应用实例。 相似文献
40.