您的位置： 专家智库 > >

西安市科技计划项目(GG200220)

作品数：6 被引量：60H指数：5
相关作者：郝克刚侯红郭小群张瑞陈文海更多>>
相关机构：西北大学更多>>
发文基金：西安市科技计划项目国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术天文地球一般工业技术更多>>

领域

  • 6个自动化与计算...
  • 4个天文地球
  • 4个建筑科学
  • 3个经济管理
  • 3个化学工程
  • 3个电子电信
  • 3个文化科学
  • 3个理学
  • 2个机械工程
  • 2个一般工业技术
  • 1个生物学
  • 1个水利工程
  • 1个医药卫生
  • 1个政治法律
  • 1个语言文字
  • 1个文学
  • 1个艺术

主题

  • 5个软件测试
  • 5个缺陷管理
  • 5个网络
  • 5个计算机
  • 4个等价
  • 4个形式化
  • 4个形式化方法
  • 4个用户
  • 4个软件开发
  • 3个等价类
  • 3个形式化建模
  • 3个依赖图
  • 2个等价变换
  • 2个电信
  • 2个调度
  • 2个新论
  • 2个行为学
  • 2个序列化
  • 2个图像
  • 2个相似度

机构

  • 6个西北大学
  • 1个西安交通大学
  • 1个汕头大学
  • 1个西北第二民族...
  • 1个延安大学
  • 1个陕西教育学院
  • 1个中国科学院软...

资助

  • 6个国家高技术研...
  • 6个西安市科技计...
  • 5个国家自然科学...
  • 3个中央高校基本...
  • 2个国家科技重大...
  • 2个陕西省教育厅...
  • 2个陕西省自然科...
  • 1个广东省自然科...
  • 1个国家科技攻关...
  • 1个国家留学基金
  • 1个教育部留学回...
  • 1个陕西省科技攻...
  • 1个中国博士后科...
  • 1个陕西省教育厅...
  • 1个国家教育部“...
  • 1个“九五”国家...
  • 1个博士科研启动...
  • 1个陕西省教育科...
  • 1个陕西省科学技...
  • 1个延安市科学技...

传媒

  • 5个计算机应用与...
  • 5个西北大学学报...
  • 5个计算机应用研...
  • 5个计算机科学
  • 4个计算机技术与...
  • 3个计算机学报
  • 3个计算机工程与...
  • 3个计算机工程
  • 3个微机发展
  • 3个计算机应用
  • 3个计算机工程与...
  • 3个系统仿真学报
  • 3个微计算机信息
  • 3个2004’全...
  • 3个第十二届全国...
  • 2个小型微型计算...
  • 2个计算机工程与...
  • 2个2009年全...
  • 2个第十一届全国...
  • 1个计算机研究与...

地区

  • 6个陕西省
共 6 条 记 录，以下是 1-6
郝克刚
供职机构：西北大学信息科学与技术学院
研究主题：PETRI网 面向对象 工作流 软件开发 PI演算
发表作品相关人物供职机构所获资助研究领域
侯红
供职机构：西北大学
研究主题：软件过程改进 PI演算 PETRI网 软件过程管理 软件维护
发表作品相关人物供职机构所获资助研究领域
郭小群
供职机构：西北大学
研究主题：PI演算 PETRI网 PI 函数符号 图灵机
发表作品相关人物供职机构所获资助研究领域
张瑞
供职机构：西北大学
研究主题：心电信号 脑电信号 心电图 小波变换 波形特点
发表作品相关人物供职机构所获资助研究领域
葛玮
供职机构：西北大学信息科学与技术学院软件工程研究所
研究主题：工作流 面向对象 软件测试 软件工程 PETRI网
发表作品相关人物供职机构所获资助研究领域
陈文海
供职机构：西北大学信息科学与技术学院软件工程研究所
研究主题：面向对象软件 面向对象 内聚度 依赖图 程序依赖图
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0