位置：成果数据库 > 期刊 > 期刊详情页
一种基于模块单子语义的动态程序
  • 期刊名称：计算机学报．29(4)．526-534, 2006.4
  • 时间：0
  • 相关项目：网络计算环境下的Web应用软件测试模型及相关技术研究
作者： 张迎周, 徐宝文
同期刊论文项目
网络计算环境下的Web应用软件测试模型及相关技术研究
期刊论文 32 会议论文 21 获奖 3 著作 5
同项目期刊论文
Refining Multiple Ontologies:
Description Logics for Fuzzy O
Testing forms in web applicati
Subsumption Checking between C
Concept approximation between
一种Web应用测试结果分析比较技
Testing Web Application Focusi
基于查询空间和文本空间的组合查
异常传播分析技术及其应用
Web应用测试框架及其实现技术研
基于模块单子语义的程序切片技术
一种基于组合测试的软件故障调试方法
一种基于模块单子语义的动态程序切片方法
支持数量约束的扩展模糊描述逻辑复杂性研究
支持术语公理约束的扩展模糊描述
一般术语公理下的模糊描述逻辑FA
Web应用测试框架研究
支持数量约束的扩展模糊描述逻辑
A Fuzzy Extension of Descripti
一般术语公理下的模糊描述逻辑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模糊本体的描述逻辑
一种利用搜索引擎实现本体映射的方法
BP Network Based Users＇ Interest Model in Mining WWW Cache
基于移动Agent的免疫入侵检测模型及算法