您的位置： 专家智库 > >

国家自然科学基金(60673115)

作品数：30 被引量：96H指数：5
相关作者：缪淮扣曾红卫钱忠胜袁捷陈圣波更多>>
相关机构：上海大学江西财经大学上海第二工业大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金更多>>
相关领域：自动化与计算机技术理学更多>>

领域

  • 42个自动化与计算...
  • 17个文化科学
  • 13个电子电信
  • 12个理学
  • 10个经济管理
  • 5个生物学
  • 5个化学工程
  • 5个金属学及工艺
  • 5个一般工业技术
  • 5个社会学
  • 4个冶金工程
  • 4个机械工程
  • 4个交通运输工程
  • 4个医药卫生
  • 3个天文地球
  • 2个石油与天然气...
  • 2个电气工程
  • 2个轻工技术与工...
  • 2个航空宇航科学...
  • 2个环境科学与工...

主题

  • 26个WEB应用
  • 21个测试用例
  • 20个网络
  • 17个计算机
  • 16个形式化
  • 16个软件测试
  • 16个自动化
  • 13个数据库
  • 13个测试用例生成
  • 12个WEB服务
  • 10个面向对象
  • 9个有限状态机
  • 9个状态机
  • 8个SPIN
  • 7个代理
  • 7个导航
  • 6个调度
  • 6个形式化规格说...
  • 6个测试用例生成...
  • 4个形式化方法

机构

  • 37个上海大学
  • 5个上海市计算机...
  • 3个上海交通大学
  • 3个江西财经大学
  • 2个上海第二工业...
  • 2个中国科学院
  • 2个湖南科技学院
  • 2个中国科学院上...
  • 1个长春科技大学
  • 1个杭州商学院
  • 1个杭州师范大学
  • 1个南京大学
  • 1个吉林大学
  • 1个南京邮电大学
  • 1个武汉大学
  • 1个上海科技大学
  • 1个浙江师范大学
  • 1个中国科学技术...
  • 1个信阳师范学院
  • 1个中南大学

资助

  • 42个国家自然科学...
  • 31个上海市教育委...
  • 24个国家重点基础...
  • 21个国家高技术研...
  • 14个上海市自然科...
  • 14个上海市教委科...
  • 6个软件工程国家...
  • 5个上海市教育委...
  • 5个上海市科学技...
  • 4个江西省教育厅...
  • 4个国家教育部博...
  • 3个上海市高等学...
  • 3个中国博士后科...
  • 3个国家科技重大...
  • 2个湖南省自然科...
  • 2个江西省自然科...
  • 2个上海市科委纳...
  • 2个上海市青年科...
  • 2个浙江省自然科...
  • 2个国家级大学生...

传媒

  • 22个计算机工程与...
  • 16个上海大学学报...
  • 16个计算机科学
  • 14个计算机工程
  • 13个计算机应用与...
  • 10个计算机工程与...
  • 10个应用科学学报
  • 7个计算机应用
  • 7个软件学报
  • 6个小型微型计算...
  • 6个微计算机信息
  • 5个计算机工程与...
  • 5个计算机教育
  • 4个科学通报
  • 4个计算机学报
  • 4个现代计算机
  • 4个微电子学与计...
  • 4个计算机应用研...
  • 4个计算机辅助设...
  • 4个计算机系统应...

地区

  • 33个上海市
  • 3个江西省
  • 2个湖南省
  • 2个浙江省
  • 1个河南省
  • 1个吉林省
共 42 条 记 录，以下是 1-10
缪淮扣
供职机构：上海大学计算机工程与科学学院
研究主题：测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
发表作品相关人物供职机构所获资助研究领域
曾红卫
供职机构：上海大学计算机工程与科学学院
研究主题：WEB应用 软件工程 测试用例生成 网格工作流 计算机网络
发表作品相关人物供职机构所获资助研究领域
钱忠胜
供职机构：江西财经大学
研究主题：测试用例 多路径 种群 测试用例生成 多路径覆盖
发表作品相关人物供职机构所获资助研究领域
袁捷
供职机构：上海大学计算机工程与科学学院
研究主题：决策支持系统 WEB服务 数据仓库 面向对象 计算机
发表作品相关人物供职机构所获资助研究领域
唐新香
供职机构：上海大学计算机工程与科学学院
研究主题：MDA 模型驱动架构 模糊本体 测试用例生成方法 测试用例
发表作品相关人物供职机构所获资助研究领域
陈圣波
供职机构：吉林大学
研究主题：遥感 地理信息系统 植被指数 遥感影像 月球
发表作品相关人物供职机构所获资助研究领域
谭亮
供职机构：上海大学计算机工程与科学学院
研究主题：WEB应用 接口自动机 WEB SPIN 基于接口
发表作品相关人物供职机构所获资助研究领域
檀革苗
供职机构：上海大学计算机工程与科学学院
研究主题：WEB应用测试 WEB应用 形式概念分析 树法 测试用例
发表作品相关人物供职机构所获资助研究领域
王明辉
供职机构：上海大学计算机工程与科学学院
研究主题：WEB应用测试 WEB应用 形式概念分析 树法 测试用例
发表作品相关人物供职机构所获资助研究领域
李丽萍
供职机构：上海第二工业大学
研究主题：测试用例 软件测试 数据库安全 基于UML 复杂网络
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共5页<12345>
聚类工具0