您的位置： 专家智库 > >

江苏省自然科学基金(BK2012060)

作品数：1 被引量：0H指数：0
相关作者：姚奕惠战伟黄松更多>>
相关机构：解放军理工大学更多>>
发文基金：江苏省自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 3个自动化与计算...
  • 2个经济管理
  • 2个电子电信
  • 2个军事
  • 2个文化科学
  • 1个哲学宗教
  • 1个天文地球
  • 1个语言文字

主题

  • 3个定位技术
  • 3个形式化
  • 3个形式化建模
  • 3个形式化描述
  • 3个性需求
  • 3个用户
  • 3个用户行为
  • 3个有效性
  • 3个运行剖面
  • 2个代码
  • 2个信息提取
  • 2个信息提取方法
  • 2个形式化描述模...
  • 2个行情
  • 2个异构
  • 2个异构数据库
  • 2个用户组
  • 2个语法树
  • 2个语句
  • 2个语句表

机构

  • 3个解放军理工大...
  • 2个中国人民解放...

资助

  • 3个国家高技术研...
  • 3个江苏省自然科...
  • 2个中国博士后科...
  • 1个国家自然科学...

传媒

  • 3个东南大学学报...
  • 3个计算机应用
  • 3个2010年亚...
  • 2个情报科学
  • 2个计算机学报
  • 2个计算机工程与...
  • 2个电子科技大学...
  • 2个应用科学学报
  • 2个解放军理工大...
  • 2个计算机工程与...
  • 2个计算机科学
  • 2个电子工程学院...
  • 2个南通大学学报...
  • 2个指挥信息系统...
  • 2个'2005系...
  • 2个第三届信息安...
  • 2个2010年亚...
  • 1个计算机研究与...
  • 1个华中科技大学...
  • 1个计算机工程

地区

  • 3个江苏省
共 3 条 记 录，以下是 1-3
姚奕
供职机构：解放军理工大学
研究主题：测试用例 软件测试 抽取 测试用例生成方法 遍历
发表作品相关人物供职机构所获资助研究领域
黄松
供职机构：解放军理工大学
研究主题：软件测试 测试用例 基于HLA 测试用例生成方法 高层体系结构
发表作品相关人物供职机构所获资助研究领域
惠战伟
供职机构：解放军理工大学
研究主题：测试用例 测试用例生成方法 软件测试 形式化描述 整数溢出
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0