您的位置： 专家智库 > >

徐小平

作品数：11 被引量：28H指数：2
供职机构：广东民族学院更多>>
相关领域：自动化与计算机技术文化科学理学经济管理更多>>

领域

  • 12个自动化与计算...
  • 7个文化科学
  • 6个经济管理
  • 4个电子电信
  • 3个理学
  • 1个哲学宗教
  • 1个轻工技术与工...
  • 1个环境科学与工...
  • 1个社会学
  • 1个文学
  • 1个自然科学总论

主题

  • 12个面向对象
  • 10个软件工程
  • 10个程序语言
  • 9个形式化
  • 9个软件开发
  • 8个可重用
  • 7个形式化方法
  • 6个语言
  • 6个软件复用
  • 5个代理
  • 4个代码
  • 4个知识库
  • 4个软件自动化
  • 3个递归
  • 3个递推
  • 3个递推关系
  • 3个定理证明
  • 3个形式规格说明
  • 3个形式化推导
  • 3个软件重用技术

机构

  • 3个北京大学
  • 3个吉林大学
  • 3个江西师范大学
  • 2个吉林工业大学
  • 2个上海交通大学
  • 2个教育部
  • 2个中国舰船研究...
  • 1个复旦大学
  • 1个武汉大学
  • 1个中国科学院
  • 1个中国科学院软...
  • 1个信息产业部
  • 1个中国计算机学...
  • 1个江西省高性能...

资助

  • 8个国家高技术研...
  • 7个国家自然科学...
  • 5个国家重点基础...
  • 5个“九五”国家...
  • 3个江西省教育厅...
  • 3个江西省高等学...
  • 2个国家科技攻关...
  • 2个江西省自然科...
  • 2个国家教育部博...
  • 2个教育部高等学...
  • 2个教育部青年骨...
  • 1个国家教育部“...
  • 1个北京市自然科...
  • 1个高等学校骨干...
  • 1个国家科技支撑...
  • 1个霍英东教育基...
  • 1个江西省软科学...
  • 1个中国博士后科...
  • 1个国家杰出青年...
  • 1个教育部科学技...

传媒

  • 10个计算机科学
  • 9个计算机研究与...
  • 8个软件学报
  • 6个计算机学报
  • 6个计算机工程
  • 6个小型微型计算...
  • 6个第四次全国软...
  • 5个计算机工程与...
  • 4个电子学报
  • 4个计算机应用与...
  • 4个计算机应用研...
  • 4个计算机教育
  • 3个计算机工程与...
  • 3个江西师范大学...
  • 3个中国科学（E...
  • 3个计算机工程与...
  • 3个计算机与现代...
  • 2个电子计算机与...
  • 2个吉林大学自然...
  • 2个科技导报

地区

  • 5个北京市
  • 3个吉林省
  • 3个江西省
  • 1个上海市
共 12 条 记 录，以下是 1-10
张然
供职机构：复旦大学
研究主题：软件开发 面向对象 软件工程 程序设计 GAUSS
发表作品相关人物供职机构所获资助研究领域
余江
供职机构：吉林大学
研究主题：可重用构件 查询系统 基于知识 软件工程 程序语言
发表作品相关人物供职机构所获资助研究领域
金淳兆
供职机构：吉林大学计算机科学与技术学院
研究主题：面向对象 程序设计 软件工程 软件开发 软件体系结构
发表作品相关人物供职机构所获资助研究领域
全炳哲
供职机构：吉林大学计算机科学与技术学院
研究主题：面向对象 程序设计 面向对象程序设计 可重用构件 面向对象软件
发表作品相关人物供职机构所获资助研究领域
陈辉
供职机构：中国舰船研究院
研究主题：ADA 面向对象 可重用 软部件 ADA语言
发表作品相关人物供职机构所获资助研究领域
梅宏
供职机构：北京大学
研究主题：软件体系结构 中间件 软件复用 软件工程 面向对象
发表作品相关人物供职机构所获资助研究领域
王振宇
供职机构：中国舰船研究院
研究主题：ADA 面向对象 可重用 软部件 ADA语言
发表作品相关人物供职机构所获资助研究领域
朱冰
供职机构：北京大学信息科学技术学院计算机科学技术系
研究主题：软件复用 软件工程 人工智能 软件开发 面向对象
发表作品相关人物供职机构所获资助研究领域
杨芙清
供职机构：北京大学信息科学技术学院
研究主题：软件工程 软件复用 面向对象 软件开发 构件库
发表作品相关人物供职机构所获资助研究领域
薛锦云
供职机构：江西师范大学
研究主题：PAR方法 程序设计 形式化方法 循环不变式 PAR
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0