•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第1-10项 搜索用时 52 毫秒
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.
Gartner公司日前宣布,2006年第3季度IBM服务器全球销售额排名第一,与去年同期相比销售额市场份额从32.7%提高到33.7%。  相似文献
《计算机系统应用》2007,(1):126-126
10.
Linux系统作为目前最常用的操作系统,研究Linux系统上的计算机取证方法具有非常重要的现实意义。本文介绍了在Linux系统进行初始响应所需的常用工具及基本步骤,并给出了几个常见工具的具体使用方法。  相似文献
1 [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] 下一页 » 末  页»