您的位置： 专家智库 > >

国家重点实验室开放基金(SYSKF1110)

作品数：8 被引量：61H指数：4
相关作者：李必信孙小兵文万志刘翠翠齐珊珊更多>>
相关机构：东南大学扬州大学中国科学院软件研究所更多>>
发文基金：国家重点实验室开放基金国家教育部博士点基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 16个自动化与计算...
  • 14个文化科学
  • 4个电子电信
  • 4个医药卫生
  • 3个经济管理
  • 3个理学
  • 2个机械工程
  • 2个交通运输工程
  • 2个航空宇航科学...
  • 1个电气工程
  • 1个建筑科学
  • 1个轻工技术与工...
  • 1个环境科学与工...
  • 1个农业科学
  • 1个一般工业技术
  • 1个语言文字
  • 1个艺术

主题

  • 8个控制流
  • 7个定理证明
  • 7个定理证明器
  • 7个动态逻辑
  • 7个依赖图
  • 7个语言
  • 7个流图
  • 7个课程
  • 7个控制流图
  • 6个定理
  • 6个语言描述
  • 6个自适
  • 6个自适应
  • 6个自适应性
  • 6个可扩展
  • 5个数据依赖
  • 5个偏好
  • 5个组织法
  • 5个赖和
  • 5个基于数据

机构

  • 16个东南大学
  • 2个南京大学
  • 2个中国科学院软...
  • 2个计算机软件新...
  • 1个安徽工业大学
  • 1个南京理工大学
  • 1个南通大学
  • 1个扬州大学
  • 1个中国科学技术...
  • 1个徐州师范大学
  • 1个江苏师范大学

资助

  • 16个国家自然科学...
  • 16个国家教育部博...
  • 16个国家重点实验...
  • 11个江苏省高校科...
  • 8个国家高技术研...
  • 4个江苏省自然科...
  • 4个江苏省教育厅...
  • 4个江苏省博士后...
  • 4个江苏省高校自...
  • 3个江苏省“六大...
  • 3个东南大学优秀...
  • 3个计算机软件新...
  • 3个江苏省产学研...
  • 3个教育部“新世...
  • 2个安徽省自然科...
  • 2个常熟市科技计...
  • 2个江苏省“青蓝...
  • 2个教育部人文社...
  • 2个南通市应用研...
  • 2个南通大学自然...

传媒

  • 9个电子学报
  • 8个东南大学学报...
  • 8个计算机科学与...
  • 7个计算机教育
  • 7个第十一届全国...
  • 6个计算机研究与...
  • 6个软件学报
  • 6个计算机科学
  • 5个计算机应用与...
  • 5个2012中国...
  • 4个小型微型计算...
  • 4个Journa...
  • 4个2011全国...
  • 3个计算机工程
  • 3个软件导刊
  • 2个计算机学报
  • 2个计算机工程与...
  • 2个计算机工程与...
  • 2个四川大学学报...
  • 2个计算机工程与...

地区

  • 14个江苏省
共 16 条 记 录，以下是 1-10
李必信
供职机构：东南大学
研究主题：面向对象 软件架构 源代码 WEB服务 CPS
发表作品相关人物供职机构所获资助研究领域
孙小兵
供职机构：扬州大学信息工程学院
研究主题：软件维护 测试用例 切片 形式概念分析 知识图谱
发表作品相关人物供职机构所获资助研究领域
刘翠翠
供职机构：东南大学计算机科学与工程学院
研究主题：控制流图 偏好 层次分析法 组织法 BPEL
发表作品相关人物供职机构所获资助研究领域
陶传奇
供职机构：计算机软件新技术国家重点实验室
研究主题：测试用例 软件维护 切片 错别字 抽取
发表作品相关人物供职机构所获资助研究领域
齐珊珊
供职机构：东南大学
研究主题：数据依赖 计算方法 组件服务 偏好 控制流图
发表作品相关人物供职机构所获资助研究领域
文万志
供职机构：南通大学
研究主题：切片 源代码 索引 训练集 向量
发表作品相关人物供职机构所获资助研究领域
宋锐
供职机构：东南大学计算机科学与工程学院
研究主题：偏好 控制流图 层次分析法 组织法 BPEL
发表作品相关人物供职机构所获资助研究领域
李加凯
供职机构：东南大学
研究主题：CPS 动态逻辑 信息物理融合系统 定理证明器 自适应性
发表作品相关人物供职机构所获资助研究领域
王璐璐
供职机构：东南大学计算机科学与工程学院
研究主题：软件测试 生态系统结构 元模型 教学改革 课程
发表作品相关人物供职机构所获资助研究领域
吉顺慧
供职机构：东南大学
研究主题：CPS 信息物理融合系统 BPEL 动态逻辑 自适应性
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0