您的位置: 专家智库 > >

缪淮扣

作品数:154 被引量:504H指数:11
供职机构:上海大学计算机工程与科学学院更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金更多>>
相关领域:自动化与计算机技术经济管理文化科学理学更多>>

领域

  • 97个自动化与计算...
  • 35个文化科学
  • 27个电子电信
  • 19个经济管理
  • 18个理学
  • 10个机械工程
  • 10个医药卫生
  • 8个天文地球
  • 8个化学工程
  • 8个电气工程
  • 8个交通运输工程
  • 6个生物学
  • 6个金属学及工艺
  • 6个环境科学与工...
  • 6个一般工业技术
  • 6个社会学
  • 6个历史地理
  • 4个轻工技术与工...
  • 4个航空宇航科学...
  • 4个农业科学

主题

  • 44个网络
  • 37个形式化
  • 37个WEB应用
  • 35个软件测试
  • 35个计算机
  • 34个测试用例
  • 26个数据库
  • 24个自动化
  • 23个课程
  • 22个软件开发
  • 22个教学
  • 22个测试用例生成
  • 22个WEB服务
  • 21个面向对象
  • 20个分布式
  • 20个Z规格说明
  • 19个图像
  • 16个软件工程
  • 14个有限状态机
  • 12个形式化方法

机构

  • 91个上海大学
  • 14个上海市计算机...
  • 4个上海第二工业...
  • 3个上海交通大学
  • 3个上海科技大学
  • 2个东莞理工学院
  • 2个华东师范大学
  • 2个中国科学院
  • 2个湖南科技学院
  • 2个江西财经大学
  • 2个中南大学
  • 2个中国科学院软...
  • 2个中国科学院上...
  • 1个广州大学
  • 1个广东电网公司
  • 1个广西财经学院
  • 1个广西大学
  • 1个安阳大学
  • 1个安阳工学院
  • 1个哈尔滨工业大...

资助

  • 90个国家自然科学...
  • 40个上海市教育委...
  • 39个国家重点基础...
  • 33个国家高技术研...
  • 29个上海市自然科...
  • 18个上海市教委科...
  • 13个上海市科学技...
  • 8个上海市高等学...
  • 7个中国博士后科...
  • 7个国家科技重大...
  • 7个上海市教育委...
  • 6个上海市教育发...
  • 4个上海市青年科...
  • 4个浙江省自然科...
  • 4个江西省教育厅...
  • 4个软件工程国家...
  • 4个上海市“科技...
  • 3个湖南省自然科...
  • 3个上海市科学技...
  • 3个国家教育部博...

传媒

  • 41个计算机科学
  • 36个计算机应用与...
  • 36个上海大学学报...
  • 33个计算机工程
  • 22个应用科学学报
  • 22个计算机工程与...
  • 21个计算机工程与...
  • 13个小型微型计算...
  • 13个软件学报
  • 11个计算机应用
  • 10个计算机学报
  • 10个计算机教育
  • 8个电脑知识与技...
  • 7个计算机工程与...
  • 7个现代计算机
  • 7个微电子学与计...
  • 7个福建电脑
  • 6个计算机应用研...
  • 6个计算机系统应...
  • 5个计算机研究与...

地区

  • 81个上海市
  • 3个湖南省
  • 3个浙江省
  • 2个河南省
  • 2个江西省
  • 2个广东省
  • 1个黑龙江省
  • 1个吉林省
  • 1个江苏省
  • 1个山东省
  • 1个福建省
98 条 记 录,以下是 1-10
曾红卫
供职机构:上海大学计算机工程与科学学院
研究主题:WEB应用 软件工程 测试用例生成 网格工作流 计算机网络
发表作品相关人物供职机构所获资助研究领域
高洪皓
供职机构:上海大学
研究主题:WEB服务 WEB 隐私保护 合约 区块链
发表作品相关人物供职机构所获资助研究领域
陈怡海
供职机构:上海大学计算机工程与科学学院
研究主题:UML 软件开发 OBJECT-Z 动画模拟 定理证明
发表作品相关人物供职机构所获资助研究领域
钱忠胜
供职机构:江西财经大学
研究主题:测试用例 多路径 测试用例生成 多路径覆盖 种群
发表作品相关人物供职机构所获资助研究领域
刘玲
供职机构:上海大学计算中心
研究主题:软件测试 测试用例 Z规格说明 测试用例生成 形式化规格说明
发表作品相关人物供职机构所获资助研究领域
许庆国
供职机构:上海大学计算机工程与科学学院
研究主题:PVS 抽象语法树 控制流图 OBJECT-Z 实时系统
发表作品相关人物供职机构所获资助研究领域
陈圣波
供职机构:吉林大学
研究主题:遥感 植被指数 地理信息系统 遥感影像 月球
发表作品相关人物供职机构所获资助研究领域
高晓雷
供职机构:东莞理工学院计算机学院
研究主题:面向对象 软件开发 面向对象方法 Z规格说明 软件开发方法
发表作品相关人物供职机构所获资助研究领域
朱关铭
供职机构:上海大学计算机工程与科学学院
研究主题:Z语言 OOZS 面向对象 Z规格说明 PROLOG
发表作品相关人物供职机构所获资助研究领域
梅佳
供职机构:上海大学
研究主题:LSC WEB应用 有限状态机 一致性 安全性
发表作品相关人物供职机构所获资助研究领域
共10页<12345678910>
聚类工具0