您的位置： 专家智库 > >

国家自然科学基金(60703057)

作品数：3 被引量：40H指数：2
相关作者：李虎赵长海金茂忠晏海华包晓露更多>>
相关机构：北京航空航天大学中国人民解放军总参谋部第六十一研究所更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 9个自动化与计算...
  • 6个文化科学
  • 5个电子电信
  • 5个航空宇航科学...
  • 4个天文地球
  • 3个经济管理
  • 3个医药卫生
  • 3个理学
  • 2个社会学
  • 1个哲学宗教
  • 1个化学工程
  • 1个机械工程
  • 1个水利工程
  • 1个一般工业技术
  • 1个政治法律
  • 1个军事
  • 1个文学
  • 1个历史地理

主题

  • 8个形式化
  • 7个代码
  • 6个建模语言
  • 5个统一建模
  • 4个断点
  • 4个形式化定义
  • 4个顺序图
  • 4个特性分析
  • 4个统一建模语言
  • 4个UM
  • 3个调度
  • 2个大型应用软件
  • 2个代码分析
  • 2个代码覆盖
  • 2个代码审查
  • 2个代数
  • 2个导航
  • 2个地图
  • 2个电子政务
  • 2个调试方法

机构

  • 8个北京航空航天...
  • 3个信息产业部
  • 1个河北建筑工程...
  • 1个清华大学
  • 1个湖北农学院
  • 1个中国社会科学...
  • 1个中国人民解放...
  • 1个中国软件评测...

资助

  • 9个国家高技术研...
  • 9个国家自然科学...
  • 5个国防科技技术...
  • 4个国家科技重大...
  • 3个武器装备预研...
  • 3个“九五”国家...
  • 3个中国航空科学...
  • 2个国家科技攻关...
  • 2个中国石油天然...
  • 1个北京市自然科...
  • 1个国防基础科研...
  • 1个国家科技支撑...
  • 1个国家社会科学...
  • 1个中央级公益性...
  • 1个“十一五”国...
  • 1个北京市中医管...
  • 1个国家部委资助...
  • 1个国家教育部博...
  • 1个国家重点实验...
  • 1个国土资源部资...

传媒

  • 9个北京航空航天...
  • 6个计算机应用研...
  • 6个计算机工程与...
  • 5个软件学报
  • 5个系统仿真学报
  • 5个计算机工程与...
  • 5个微计算机信息
  • 4个计算机研究与...
  • 4个南京大学学报...
  • 4个计算机工程
  • 4个计算机科学
  • 4个装甲兵工程学...
  • 4个计算机教育
  • 4个2005’全...
  • 3个计算机学报
  • 3个计算机工程与...
  • 3个计算机辅助设...
  • 3个北京邮电大学...
  • 3个石油地球物理...
  • 2个系统工程与电...

地区

  • 9个北京市
共 9 条 记 录，以下是 1-9
李虎
供职机构：北京航空航天大学
研究主题：YACC 断点 软件工程 软件质量 软件测试
发表作品相关人物供职机构所获资助研究领域
杨晓津
供职机构：中国人民解放军总参谋部第六十一研究所
研究主题：可视化 断点 动态仿真
发表作品相关人物供职机构所获资助研究领域
包晓露
供职机构：北京航空航天大学计算机学院
研究主题：UM 形式化定义 形式化 统一建模语言 特性分析
发表作品相关人物供职机构所获资助研究领域
晏海华
供职机构：北京航空航天大学计算机学院
研究主题：软件测试 软件工程 白盒测试 并行计算 叠前时间偏移
发表作品相关人物供职机构所获资助研究领域
龙翔
供职机构：北京航空航天大学
研究主题：模拟器 多核 虚拟机监视器 虚拟机 FPGA
发表作品相关人物供职机构所获资助研究领域
李晓丽
供职机构：北京航空航天大学计算机学院
研究主题：可复用性 军用软件 军用 软件测试 产品质量
发表作品相关人物供职机构所获资助研究领域
金茂忠
供职机构：北京航空航天大学计算机学院
研究主题：软件工程 软件测试 软件开发 面向对象 软件体系结构
发表作品相关人物供职机构所获资助研究领域
赵长海
供职机构：北京航空航天大学
研究主题：抄袭 编程框架 MAPREDUCE 分词 空间向量
发表作品相关人物供职机构所获资助研究领域
刘超
供职机构：北京航空航天大学仪器科学与光电工程学院
研究主题：软件工程 软件测试 逆向工程 软件开发 面向对象
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0