您的位置： 专家智库 > >

袁晓东

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

合作作者

领域

  • 9个自动化与计算...
  • 4个经济管理
  • 3个机械工程
  • 3个电子电信
  • 3个建筑科学
  • 3个文化科学
  • 3个理学
  • 2个医药卫生
  • 1个天文地球
  • 1个电气工程
  • 1个环境科学与工...
  • 1个一般工业技术
  • 1个语言文字

主题

  • 9个面向对象
  • 6个设计语言
  • 6个程序设计
  • 6个程序设计语言
  • 6个Z
  • 5个计算机
  • 4个实时系统
  • 4个Z语言
  • 3个代码
  • 3个对象技术
  • 3个形式化
  • 2个代码生成
  • 2个代数
  • 2个道德
  • 2个等价
  • 2个定理
  • 2个定理证明
  • 2个信息网
  • 2个信息网络
  • 2个形式化描述

机构

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

资助

  • 8个国家自然科学...
  • 7个“九五”国家...
  • 5个江苏省自然科...
  • 4个国家高技术研...
  • 3个国家重点基础...
  • 2个山东省自然科...
  • 2个中国博士后科...
  • 2个国家教育部博...
  • 2个国家重点实验...
  • 2个教育部高等学...
  • 1个国家社会科学...
  • 1个国家教育部“...
  • 1个国家科技重大...
  • 1个安徽省高等学...
  • 1个安徽省高校省...
  • 1个计算机软件新...
  • 1个江苏省博士后...
  • 1个江苏省产学研...
  • 1个江苏省高校自...
  • 1个江苏省基础研...

传媒

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

地区

  • 10个江苏省
共 10 条 记 录，以下是 1-10
郑国梁
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：面向对象 软件工程 软件开发 UML 程序设计
发表作品相关人物供职机构所获资助研究领域
陈家骏
供职机构：南京大学
研究主题：机器翻译 计算机 汉语 存储介质 源语言
发表作品相关人物供职机构所获资助研究领域
徐殿祥
供职机构：南京大学计算机科学与技术系
研究主题：人工智能 AGENT 逻辑程序设计 软件工程 软件AGENT
发表作品相关人物供职机构所获资助研究领域
李勇
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：COOZ 形式描述语言 面向对象 计算机系统 可靠性
发表作品相关人物供职机构所获资助研究领域
胡德强
供职机构：南京大学计算机科学与技术系
研究主题：Z语言 面向对象 Z 进销存管理系统 企业管理
发表作品相关人物供职机构所获资助研究领域
李宣东
供职机构：南京大学
研究主题：自动机 面向对象 混成系统 MDA 实时系统
发表作品相关人物供职机构所获资助研究领域
李勇
供职机构：南京大学计算机科学与技术系
研究主题：面向对象 Z语言 Z 程序设计语言 计算机
发表作品相关人物供职机构所获资助研究领域
徐娟芬
供职机构：南京大学计算机科学与技术系
研究主题：CAI 题库系统 题库 PASCAL
发表作品相关人物供职机构所获资助研究领域
许皓
供职机构：南京大学计算机科学与技术系
研究主题：Z语言 面向对象 Z
发表作品相关人物供职机构所获资助研究领域
沈驿梅
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：面向对象 面向对象软件度量 自动生成工具 软件开发 程序语言
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0