您的位置： 专家智库 > >

上海市自然科学基金(09ZR1412100)

作品数：19 被引量：55H指数：4
相关作者：缪淮扣曾红卫梅佳刘攀陈圣波更多>>
相关机构：上海大学上海市计算机软件评测重点实验室上海第二工业大学更多>>
发文基金：上海市自然科学基金上海市教育委员会重点学科基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 26个自动化与计算...
  • 8个文化科学
  • 4个电子电信
  • 3个天文地球
  • 2个经济管理
  • 2个生物学
  • 2个金属学及工艺
  • 2个环境科学与工...
  • 2个农业科学
  • 2个历史地理
  • 2个理学
  • 1个化学工程
  • 1个矿业工程
  • 1个石油与天然气...
  • 1个冶金工程
  • 1个水利工程
  • 1个航空宇航科学...
  • 1个医药卫生
  • 1个社会学
  • 1个政治法律

主题

  • 18个WEB应用
  • 10个自动化
  • 10个测试用例
  • 9个有限状态机
  • 9个软件测试
  • 9个状态机
  • 9个网络
  • 8个测试用例生成
  • 7个自动化测试
  • 6个导航
  • 6个导航模型
  • 6个冗余
  • 6个自动生成
  • 5个形式化
  • 5个一致性
  • 5个软件工程
  • 4个用户
  • 4个语义提取
  • 4个约简方法
  • 3个形式规格说明

机构

  • 26个上海大学
  • 11个上海市计算机...
  • 2个上海第二工业...
  • 1个广西财经学院
  • 1个长春科技大学
  • 1个吉林大学
  • 1个武汉大学
  • 1个上海科技大学
  • 1个浙江大学
  • 1个中国科学院
  • 1个信阳师范学院
  • 1个中国人民解放...
  • 1个上海科学技术...

资助

  • 26个国家自然科学...
  • 26个上海市自然科...
  • 25个上海市教育委...
  • 19个国家重点基础...
  • 13个国家高技术研...
  • 10个上海市科学技...
  • 6个上海市教委科...
  • 5个软件工程国家...
  • 2个中国博士后科...
  • 2个国家科技重大...
  • 2个中央级公益性...
  • 1个吉林大学研究...
  • 1个广东省自然科...
  • 1个国家科技支撑...
  • 1个国家社会科学...
  • 1个河南省教育厅...
  • 1个吉林大学青年...
  • 1个吉林省科技发...
  • 1个江西省自然科...
  • 1个山东省自然科...

传媒

  • 13个上海大学学报...
  • 12个计算机科学
  • 11个应用科学学报
  • 8个软件学报
  • 7个计算机工程与...
  • 7个计算机技术与...
  • 6个计算机学报
  • 6个计算机工程
  • 4个计算机工程与...
  • 4个计算机应用与...
  • 4个计算机工程与...
  • 3个东南大学学报...
  • 3个小型微型计算...
  • 3个微计算机信息
  • 3个计算机科学与...
  • 2个通信学报
  • 2个信阳师范学院...
  • 2个华中科技大学...
  • 2个计算机应用研...
  • 2个计算机辅助设...

地区

  • 24个上海市
  • 1个河南省
  • 1个吉林省
共 26 条 记 录，以下是 1-10
缪淮扣
供职机构：上海大学计算机工程与科学学院
研究主题：测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
发表作品相关人物供职机构所获资助研究领域
曾红卫
供职机构：上海大学计算机工程与科学学院
研究主题：WEB应用 软件工程 测试用例生成 网格工作流 计算机网络
发表作品相关人物供职机构所获资助研究领域
梅佳
供职机构：上海大学
研究主题：LSC WEB应用 有限状态机 一致性 安全性
发表作品相关人物供职机构所获资助研究领域
陈圣波
供职机构：吉林大学
研究主题：遥感 地理信息系统 植被指数 遥感影像 月球
发表作品相关人物供职机构所获资助研究领域
高洪皓
供职机构：上海大学
研究主题：WEB服务 WEB 隐私保护 合约 区块链
发表作品相关人物供职机构所获资助研究领域
刘攀
供职机构：上海大学计算机工程与科学学院
研究主题：冗余 测试生成算法 有限状态机 WEB应用 约简方法
发表作品相关人物供职机构所获资助研究领域
贺斌
供职机构：上海大学计算机工程与科学学院
研究主题：WEB应用 测试脚本 自动化测试 冗余 约简方法
发表作品相关人物供职机构所获资助研究领域
曹晓夏
供职机构：上海第二工业大学计算机与信息学院
研究主题：遗传算法 测试用例 MDA CIM CI
发表作品相关人物供职机构所获资助研究领域
许庆国
供职机构：上海大学计算机工程与科学学院
研究主题：PVS 抽象语法树 控制流图 OBJECT-Z 实时系统
发表作品相关人物供职机构所获资助研究领域
郭亮
供职机构：上海大学
研究主题：状态图 有限状态机 FSM模型 UML模型 WEB应用
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共3页<123>
聚类工具0