欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
立项数据库
> 立项详情页
Internet环境下基于Agent的软件中间件理论和方法研究
项目名称: Internet环境下基于Agent的软件中间件理论和方法研究
批准号:2002CB312000
项目来源:国家重点基础研究发展计划(973计划)2002年度项目
研究期限:2005-03-
项目负责人:梅宏
依托单位:教育部
批准年度:2002
成果综合统计
成果类型
数量
期刊论文
会议论文
专利
获奖
著作
32
0
0
0
0
期刊论文
一种基于模块单子语义的动态程序切片方法
支持数量约束的扩展模糊描述逻辑复杂性研究
一种基于异常传播分析的依赖性分析方法
一种基于异常传播分析的数据流分析方法
一般术语公理下的模糊描述逻辑FALCN推理
Testing forms in web applications automatically
支持模糊隶属度比较的扩展模糊描述逻辑
一种互操作协议性能评估方法
支持术语公理约束的扩展模糊描述逻辑推理
一种新的变异测试数据自动生成方法
概念的最小上近似
一种并行环境下测试用例优先级技术度量方法
System Dependence Graph Construction for Aspect Oriented C++
Subsumption Checking between Concept Queries in Different Ontologies Based on Mutual Instances
Concept Approximation between Fuzzy Ontologies
一种启发式聚类特征选择方法
支持语义web模糊本体的描述逻辑
QoS Analysis on Web Service Based Spatial Integration
Mapping Business Workflows onto Network Services Environment
UML中衍型的精确定义与分析
重构C++程序物理设
A Testing Method for Web Services Composition Based on Data-Flow
一种异常处理策略的评测方法
一种J2EE服务器端软件测试用例的复用框架研究
软件易测性和软件可靠性关系研究
统计测试的软件可靠性保障能力研究
软件测试准则的有效性度量研究
一种面向MVC的Web应用重构方法
软件先验知识和基于测试的可靠性评估关系研究
一种三维界面的移动终端交互技术
支持管理在线构件的基本构件描述模型
通用服务器端软件测试框架的研究与实现
梅宏的项目