您的位置： 专家智库 > >

沃钧军

作品数：2 被引量：0H指数：0
供职机构：杭州电子科技大学软件工程学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇异构
  • 1篇异构环境
  • 1篇语法树
  • 1篇中间件
  • 1篇XML
  • 1篇程序正确性验...

机构

  • 2篇杭州电子科技...

作者

  • 2篇沃钧军
  • 2篇周必水
  • 1篇李骏

传媒

  • 1篇计算机应用与...
  • 1篇计算机应用研...

年份

  • 1篇2007
  • 1篇2005
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于语法树和程序正确性验证研究
2007年
提出了一种新的基于语法树的程序正确性验证方法(STM方法)。在理论和算法上对方法的实现进行了初步探讨,并结合XML技术提出了一套实现这一方法的切实可行的解决方案。
周必水李骏沃钧军
关键词：程序正确性验证语法树XML
论CAA中异构环境的整合
2005年
根据目前CAA架构中存在的缺陷,将中间件技术引入CAA领域,提出了一种新的CAA架构,并在理论和方法上对CAA中间件的实现进行了初步探讨。这一基于中间件的架构提供了对CAA异构环境的整合,使快速、方便的构建易于维护升级的分布式CAA系统成为可能。
周必水沃钧军
关键词：异构环境中间件
全选 清除 导出
共1页<1>
聚类工具0