您的位置： 专家智库 > >

樊晓聪

作品数：14 被引量：105H指数：7
供职机构：南京大学计算机科学与技术系更多>>
发文基金：国家高技术研究发展计划国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 12个自动化与计算...
  • 5个文化科学
  • 4个电子电信
  • 3个经济管理
  • 3个机械工程
  • 3个建筑科学
  • 3个医药卫生
  • 3个理学
  • 2个天文地球
  • 1个化学工程
  • 1个交通运输工程
  • 1个政治法律

主题

  • 12个软件工程
  • 10个面向对象
  • 8个形式化
  • 8个设计语言
  • 7个对象技术
  • 7个形式化方法
  • 6个代码
  • 5个依赖图
  • 5个应用程序
  • 4个定理
  • 4个定理证明
  • 4个多线程
  • 3个代码生成
  • 3个等价
  • 3个迭代
  • 3个形式化描述
  • 2个代码分析
  • 2个代码覆盖
  • 2个代码覆盖率
  • 2个代码结构

机构

  • 12个南京大学
  • 5个中国科学技术...
  • 3个计算机软件新...
  • 2个北京信息工程...
  • 1个东南大学
  • 1个中国科学院软...
  • 1个江苏省经济信...
  • 1个电力部
  • 1个兖矿集团有限...
  • 1个兖矿集团总医...
  • 1个兖州矿业(集...

资助

  • 9个国家高技术研...
  • 8个国家自然科学...
  • 6个江苏省自然科...
  • 4个“九五”国家...
  • 3个国家重点基础...
  • 3个国家教育部博...
  • 3个教育部高等学...
  • 2个山东省自然科...
  • 2个国家科技重大...
  • 2个国家重点实验...
  • 2个江苏省产学研...
  • 2个江苏省基础研...
  • 2个中央高校基本...
  • 1个安徽省自然科...
  • 1个中国博士后科...
  • 1个江苏省教育厅...
  • 1个国家杰出青年...
  • 1个江苏省社会科...
  • 1个江苏省科技支...
  • 1个江苏省“六大...

传媒

  • 10个软件学报
  • 10个计算机科学
  • 8个计算机研究与...
  • 8个计算机应用与...
  • 7个南京大学学报...
  • 7个计算机学报
  • 6个计算机工程与...
  • 5个计算机应用研...
  • 4个计算机工程与...
  • 3个电子学报
  • 3个计算机工程
  • 3个软件
  • 3个计算机科学与...
  • 3个863计划智...
  • 2个计算机工程与...
  • 2个小型微型计算...
  • 2个电子与自动化...
  • 2个国际学术动态
  • 2个中国科学：信...
  • 2个全国程序设计...

地区

  • 11个江苏省
  • 1个安徽省
共 12 条 记 录，以下是 1-10
郑国梁
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：面向对象 软件工程 软件开发 UML 程序设计
发表作品相关人物供职机构所获资助研究领域
徐殿祥
供职机构：南京大学计算机科学与技术系
研究主题：人工智能 AGENT 逻辑程序设计 软件工程 软件AGENT
发表作品相关人物供职机构所获资助研究领域
侯建民
供职机构：南京大学计算机科学与技术系
研究主题：实时系统 人工智能 AOP 面向AGENT软件工程 软件工程
发表作品相关人物供职机构所获资助研究领域
李宣东
供职机构：南京大学
研究主题：自动机 面向对象 混成系统 MDA 实时系统
发表作品相关人物供职机构所获资助研究领域
陈冠岭
供职机构：南京大学
研究主题：人工智能 AGENT 面向AGENT软件工程 软件工程 交互界面
发表作品相关人物供职机构所获资助研究领域
郑滔
供职机构：南京大学
研究主题：QR码 面向对象 WEB服务 纠错 ANDROID
发表作品相关人物供职机构所获资助研究领域
李必信
供职机构：东南大学
研究主题：面向对象 软件架构 源代码 WEB服务 CPS
发表作品相关人物供职机构所获资助研究领域
赵建华
供职机构：南京大学
研究主题：MDA 规约 EDOC 实时系统 时间自动机
发表作品相关人物供职机构所获资助研究领域
梁佳
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：面向对象 程序切片 软件维护 软件工程 程序设计
发表作品相关人物供职机构所获资助研究领域
陈家俊
供职机构：南京大学
研究主题：形式化方法 面向对象技术 面向对象 软件工程
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0