您的位置： 专家智库 > >

上海市科学技术委员会资助项目(10510704900)

作品数：5 被引量：12H指数：3
相关作者：缪淮扣梅佳高洪皓曾红卫刘攀更多>>
相关机构：上海大学上海市计算机软件评测重点实验室信阳师范学院更多>>
发文基金：上海市科学技术委员会资助项目上海市教育委员会重点学科基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

领域

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

主题

  • 10个WEB应用
  • 7个安全性
  • 6个导航
  • 6个导航模型
  • 6个有限状态机
  • 4个一致性
  • 4个时间自动机
  • 3个调度
  • 3个定理
  • 3个定理证明
  • 3个形式化
  • 3个业务逻辑
  • 3个冗余
  • 2个等价
  • 2个等价关系
  • 2个对象化
  • 2个形式化描述
  • 2个页面
  • 2个业务流
  • 2个约简方法

机构

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

资助

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

传媒

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

地区

  • 9个上海市
  • 1个河南省
  • 1个吉林省
共 11 条 记 录，以下是 1-10
缪淮扣
供职机构：上海大学计算机工程与科学学院
研究主题：测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
发表作品相关人物供职机构所获资助研究领域
梅佳
供职机构：上海大学
研究主题：LSC WEB应用 有限状态机 一致性 安全性
发表作品相关人物供职机构所获资助研究领域
高洪皓
供职机构：上海大学
研究主题：WEB服务 WEB 隐私保护 合约 区块链
发表作品相关人物供职机构所获资助研究领域
戴雨婷
供职机构：上海大学计算机工程与科学学院
研究主题：一致性 LSC
发表作品相关人物供职机构所获资助研究领域
陈圣波
供职机构：吉林大学
研究主题：遥感 地理信息系统 植被指数 遥感影像 月球
发表作品相关人物供职机构所获资助研究领域
曾红卫
供职机构：上海大学计算机工程与科学学院
研究主题：WEB应用 软件工程 测试用例生成 网格工作流 计算机网络
发表作品相关人物供职机构所获资助研究领域
胡立立
供职机构：上海大学计算机工程与科学学院
研究主题：WEB应用 安全性 导航模型
发表作品相关人物供职机构所获资助研究领域
方明科
供职机构：信阳师范学院计算机与信息技术学院
研究主题：WEB 负载均衡 课程改革 WEB应用 单质
发表作品相关人物供职机构所获资助研究领域
刘攀
供职机构：上海大学计算机工程与科学学院
研究主题：冗余 测试生成算法 有限状态机 WEB应用 约简方法
发表作品相关人物供职机构所获资助研究领域
孙茂华
供职机构：上海大学计算机工程与科学学院
研究主题：Z规格说明 WEB应用 定理证明 逆向工程 数据库交互
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0