您的位置： 专家智库 > >

翟娟

作品数：5 被引量：12H指数：3
供职机构：计算机软件新技术国家重点实验室更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 7个自动化与计算...
  • 6个文化科学
  • 5个经济管理
  • 5个理学
  • 3个电子电信
  • 3个建筑科学
  • 3个医药卫生
  • 2个政治法律
  • 2个语言文字
  • 1个生物学
  • 1个机械工程
  • 1个农业科学

主题

  • 6个递归
  • 6个语句
  • 5个代码
  • 5个迭代
  • 5个循环不变式
  • 4个代码分析
  • 4个形式化
  • 3个等价
  • 3个段式
  • 3个一致性
  • 2个代码覆盖
  • 2个代码覆盖率
  • 2个代码结构
  • 2个代码生成
  • 2个代数
  • 2个代数变换
  • 2个代数表示
  • 2个代数形式
  • 2个迭代过程
  • 2个信息化

机构

  • 7个南京大学
  • 6个计算机软件新...
  • 1个东南大学
  • 1个北京信息工程...
  • 1个上海交通大学
  • 1个中国科学技术...
  • 1个电力部
  • 1个兖矿集团有限...
  • 1个兖矿集团总医...
  • 1个兖州矿业(集...

资助

  • 7个国家重点基础...
  • 7个国家自然科学...
  • 5个国家高技术研...
  • 4个江苏省自然科...
  • 3个国家科技重大...
  • 3个国家教育部博...
  • 3个江苏省产学研...
  • 3个江苏省基础研...
  • 2个国家社会科学...
  • 2个国家重点实验...
  • 2个教育部高等学...
  • 1个Intern...
  • 1个山东省自然科...
  • 1个上海市自然科...
  • 1个中国博士后科...
  • 1个国家杰出青年...
  • 1个“九五”国家...
  • 1个江苏省博士后...
  • 1个江苏省普通高...
  • 1个教育部“新世...

传媒

  • 7个软件学报
  • 5个计算机科学
  • 4个计算机学报
  • 4个中国科学：信...
  • 3个计算机研究与...
  • 3个电子学报
  • 2个情报科学
  • 2个南京大学学报...
  • 2个计算机应用与...
  • 2个计算机应用研...
  • 2个计算机工程与...
  • 2个计算机工程与...
  • 2个计算机科学与...
  • 2个大数据
  • 2个863计划智...
  • 1个系统工程与电...
  • 1个中国煤炭工业...
  • 1个软科学
  • 1个新闻传播
  • 1个科学通报

地区

  • 6个江苏省
共 7 条 记 录，以下是 1-7
李彬
供职机构：南京大学
研究主题：草图检索 变式 银行理财 数据结构 激光剥离
发表作品相关人物供职机构所获资助研究领域
赵建华
供职机构：南京大学
研究主题：MDA 规约 EDOC 实时系统 时间自动机
发表作品相关人物供职机构所获资助研究领域
汤震浩
供职机构：计算机软件新技术国家重点实验室
研究主题：变式 循环不变式 自动生成方法 数组 过程间分析
发表作品相关人物供职机构所获资助研究领域
汤恩义
供职机构：南京大学
研究主题：制导 软件测试 浮点 图形界面 网络爬虫
发表作品相关人物供职机构所获资助研究领域
李宣东
供职机构：南京大学
研究主题：自动机 面向对象 混成系统 MDA 实时系统
发表作品相关人物供职机构所获资助研究领域
陈鑫
供职机构：南京大学
研究主题：自动生成方法 测试数据 制导 弱光 源代码
发表作品相关人物供职机构所获资助研究领域
陈振宇
供职机构：南京大学
研究主题：测试用例 软件测试 聚类 源代码 测试脚本
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0