您的位置: 专家智库 > >

国家高技术研究发展计划(2007AA01Z144)

作品数:22 被引量:54H指数:4
相关作者:缪淮扣钱忠胜沈云付陈圣波曹旻更多>>
相关机构:上海大学上海市计算机软件评测重点实验室江西财经大学更多>>
发文基金:国家高技术研究发展计划上海市教育委员会重点学科基金国家自然科学基金更多>>
相关领域:自动化与计算机技术理学更多>>

领域

  • 15个自动化与计算...
  • 11个理学
  • 9个生物学
  • 9个交通运输工程
  • 9个自然科学总论
  • 8个经济管理
  • 8个天文地球
  • 8个机械工程
  • 8个电子电信
  • 8个电气工程
  • 8个轻工技术与工...
  • 8个航空宇航科学...
  • 8个医药卫生
  • 8个农业科学
  • 8个一般工业技术
  • 8个文化科学
  • 8个兵器科学与技...
  • 7个哲学宗教
  • 7个化学工程
  • 7个矿业工程

主题

  • 15个WEB应用
  • 14个测试用例
  • 12个有限状态机
  • 12个状态机
  • 12个自动机
  • 11个组件
  • 11个唯一性
  • 10个导航
  • 10个形式化
  • 10个序列图
  • 10个一致性
  • 10个语义
  • 10个状态图
  • 9个态射
  • 8个代数
  • 8个软件测试
  • 8个消息序列图
  • 7个大学生
  • 6个大涡模拟
  • 4个大学科

机构

  • 15个上海大学
  • 13个江西财经大学
  • 11个上海交通大学
  • 11个信阳师范学院
  • 11个上海市计算机...
  • 10个武汉大学
  • 9个上海第二工业...
  • 8个复旦大学
  • 8个广西财经学院
  • 7个北京中医药大...
  • 7个东北大学
  • 7个安徽理工大学
  • 7个杭州师范大学
  • 6个安徽工业大学
  • 5个安徽医科大学
  • 5个北京工商大学
  • 3个北方工业大学
  • 3个北方民族大学
  • 3个北京跟踪与通...
  • 3个北京应用物理...

作者

  • 14个缪淮扣
  • 12个钱忠胜
  • 10个王皙
  • 10个郭亮
  • 10个陈圣波
  • 10个方明科
  • 9个王毅俊
  • 9个曹晓夏
  • 9个许庆国
  • 8个梅佳
  • 8个何涛
  • 8个唐云吉
  • 8个陈中育
  • 8个张忠能
  • 8个宋波
  • 5个严涛
  • 5个孙军梅
  • 5个费立志
  • 3个张晓华
  • 3个张晓华

传媒

  • 14个计算机科学
  • 13个小型微型计算...
  • 13个计算机工程与...
  • 12个计算机工程
  • 12个应用科学学报
  • 12个上海大学学报...
  • 11个计算机工程与...
  • 8个系统工程与电...
  • 7个分析化学
  • 7个生态学报
  • 6个化工科技
  • 6个工业安全与环...
  • 6个商业时代
  • 6个中国科技论坛
  • 6个中国临床药理...
  • 6个资源科学
  • 6个植物生态学报
  • 6个林业科学
  • 6个心理学报
  • 5个中国药物依赖...
15 条 记 录,以下是 1-10
上海市教育委员会重点学科基金
相关领域:医药卫生 经济管理 理学 自动化与计算机技术 文化科学
相关作品相关人物相关机构相关资助相关领域
上海市教育委员会重点学科基金(J50103)
相关领域:自动化与计算机技术 电子电信 理学 机械工程 航空宇航科学技术
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金
相关领域:医药卫生 理学 自动化与计算机技术 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
国家重点基础研究发展计划
相关领域:天文地球 医药卫生 理学 农业科学 自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家重点基础研究发展计划(2007CB310800)
需求工程--对复杂系统的软件工程的基础研究
相关领域:自动化与计算机技术 自然科学总论 理学 交通运输工程 生物学
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60673115)
相关领域:自动化与计算机技术 理学
相关作品相关人物相关机构相关资助相关领域
上海市自然科学基金
相关领域:医药卫生 理学 自动化与计算机技术 电子电信 电气工程
相关作品相关人物相关机构相关资助相关领域
上海市教委科研基金(07ZZ06)
相关领域:自动化与计算机技术 理学
相关作品相关人物相关机构相关资助相关领域
上海市教委科研基金
相关领域:医药卫生 经济管理 理学 自动化与计算机技术 文化科学
相关作品相关人物相关机构相关资助相关领域
上海市自然科学基金(09ZR1412100)
相关领域:自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
共2页<12>
聚类工具0