您的位置： 专家智库 > >

查鸣

作品数：6 被引量：5H指数：1
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
发文基金：国家自然科学基金“九五”国家科技攻关计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

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

主题

  • 5个面向对象
  • 5个计算机
  • 4个代码
  • 4个形式化
  • 4个软件工程
  • 4个软件开发
  • 4个COOZ
  • 3个对象技术
  • 3个形式化方法
  • 3个形式化开发
  • 3个形式化开发方...
  • 3个依赖图
  • 2个定理
  • 2个定理证明
  • 2个多线程
  • 2个信息集成
  • 2个信息集成研究
  • 2个形式化描述
  • 2个形式化描述语...
  • 1个带环

机构

  • 5个南京大学
  • 2个中国科学技术...
  • 1个东南大学
  • 1个北京信息工程...
  • 1个中国科学院软...
  • 1个计算机软件新...

资助

  • 5个国家自然科学...
  • 4个国家高技术研...
  • 4个江苏省自然科...
  • 4个“九五”国家...
  • 2个国家教育部博...
  • 1个安徽省自然科...
  • 1个国家重点基础...
  • 1个山东省自然科...
  • 1个江苏省教育厅...
  • 1个国家杰出青年...
  • 1个江苏省“六大...
  • 1个东南大学优秀...
  • 1个常熟市科技计...
  • 1个国家重点实验...
  • 1个计算机软件新...
  • 1个江苏省博士后...
  • 1个江苏省产学研...
  • 1个江苏省高校科...
  • 1个江苏省高校自...
  • 1个教育部“新世...

传媒

  • 5个计算机应用与...
  • 5个计算机科学
  • 4个南京大学学报...
  • 4个软件学报
  • 3个计算机研究与...
  • 3个计算机学报
  • 3个计算机工程与...
  • 2个电子学报
  • 2个计算机工程
  • 2个计算机应用研...
  • 2个小型微型计算...
  • 1个东南大学学报...
  • 1个华中科技大学...
  • 1个计算机工程与...
  • 1个计算机工程与...
  • 1个软件
  • 1个电子与自动化...
  • 1个国际学术动态
  • 1个Journa...
  • 1个计算机科学与...

地区

  • 5个江苏省
共 5 条 记 录，以下是 1-5
郑国梁
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：面向对象 软件工程 软件开发 UML 程序设计
发表作品相关人物供职机构所获资助研究领域
王云峰
供职机构：南京大学
研究主题：面向对象 精化演算 Z 软件开发方法 软件开发
发表作品相关人物供职机构所获资助研究领域
庞军
供职机构：南京大学计算机科学与技术系
研究主题：面向对象 精化演算 计算机 软件开发 COOZ
发表作品相关人物供职机构所获资助研究领域
李必信
供职机构：东南大学
研究主题：面向对象 软件架构 源代码 WEB服务 CPS
发表作品相关人物供职机构所获资助研究领域
杨朝晖
供职机构：南京大学计算机科学与技术系
研究主题：JAVA 程序设计方法 程序切片 JAVA语言 耦合性
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0