•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第1-10项 搜索用时 61 毫秒
1 [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] 下一页 » 末  页»
1.
下载全文  总被引:8,自引:0,他引:8
通过对正交软件体系结构的概念分析,给出了具体的正交软件体系结构模型,并详细介绍了其演化控制方法,最后以实例探讨了该模型和方法在实际系统中的应用.  相似文献
2.
下载全文  总被引:6,自引:0,他引:6
Petri网标识的可达性判定问题是进行Petri网分析的基础,而传统的判定方法并不能确保所得结果的可靠性.在揭示Petri网可达性问题的实质之后,讨论了在标识图的同一连通域内标识可达性的判定问题,进而在分析相关原理的基础上提出了一种有效判定Petri网标识可达性的“综合判定法”.… …   相似文献
3.
下载全文  总被引:2,自引:0,他引:2
软件度量是保障软件质量的重要手段。结合软件度量技术,设计并实现一个面向对象耦合性度量工具,用于全面度量面向对象系统的耦合性。给出了此度量工具的体系结构,详细讲述了该工具各个模块的设计与实现方法,其中着重讲述了中间信息库的设计,给出了度量结果示例。最后介绍了该度量工具的特点。… …   相似文献
4.
下载全文  总被引:2,自引:0,他引:2
文章简述了SSL V3.0的分层结构,加密属性,并从握手协议层和记录协议层出发对其安全性做出分析。  相似文献
5.
下载全文  总被引:2,自引:0,他引:2
针对互操作所导致的异构系统间数据交换构造STEP模型映射算法,为基于不同STEP应用协议的CAX系统集成提供了一种方法讨论,首先对STEP/EXPRESS数据模型作出形式化定义,在此基础上提出了两种STEP模型映射技术-静态映射与动态映射,并阐述了基于EXPRESS-X的实现及其… …   相似文献
杨子江  李善平等 《软件学报》2002,13(8):1643-1651
6.
下载全文  总被引:1,自引:0,他引:1
本文针对asp网页中使用dropdown控件无法动态添加选项的情况。提供了一种新的解决方法。  相似文献
7.
下载全文  总被引:1,自引:0,他引:1
XYZ系统是一个CASE工具系统,它的核心是一个时序逻辑语言XYZ/E.XYZ/E有一基本的表示状态转换的低级形式XYZ/BE(或用于表示并发的XYZ/CE)及一个结构化的高级形式XYZ/SE。它们均有其相应的图形表示,XYZ/CFC与XYZ/PAD是分别以XYZ/BE(或XYZ… …   相似文献
龚洁  唐若鹰 《软件学报》1994,5(8):37-46
8.
9.
IBM推出”数据中心及智能化集成”服务产品线2006年11月22日。北京IBM公司(NYSE:lBM)宣布在中国推出“数据中心及智能化集成”服务产品线,致力于通过建筑环境与信息技术完美融合,协助企业打造稳定高效、随需应变的基础设施环境,倍增商业价值。这是继“网络服务”之后,IBM… …   相似文献
10.
Editor-in-Chief LI Ming-Shu(李明树) Institute of Software, The Chinese Academy of Sciences (CAS), China Associate Editors-in-Chief LU Ru-Qian(陆… …   相似文献
1 [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] 下一页 » 末  页»