您的位置： 专家智库 > >

国家自然科学基金(60970007)

作品数：6 被引量：7H指数：2
相关作者：缪淮扣高洪皓戴雨婷孙茂华梅佳更多>>
相关机构：上海大学上海市计算机软件评测重点实验室江西财经大学更多>>
发文基金：国家自然科学基金上海市教育委员会重点学科基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 10个自动化与计算...
  • 4个文化科学
  • 3个电子电信
  • 2个经济管理
  • 2个金属学及工艺
  • 2个医药卫生
  • 2个社会学
  • 1个生物学
  • 1个天文地球
  • 1个环境科学与工...
  • 1个农业科学
  • 1个理学

主题

  • 6个WEB应用
  • 6个Z规格说明
  • 5个定理
  • 5个定理证明
  • 5个数据库
  • 5个网络
  • 4个形式化
  • 4个一致性
  • 4个测试用例
  • 4个WEB服务
  • 3个导航
  • 3个导航模型
  • 3个形式化建模
  • 3个有限状态机
  • 3个语义
  • 3个软件开发
  • 3个状态机
  • 3个基于XML
  • 2个对象模型
  • 2个信息系统

机构

  • 10个上海大学
  • 6个上海市计算机...
  • 1个广西财经学院
  • 1个杭州商学院
  • 1个上海第二工业...
  • 1个武汉大学
  • 1个浙江大学
  • 1个江西财经大学
  • 1个江西省财经大...
  • 1个上海科学技术...

资助

  • 10个国家自然科学...
  • 9个上海市教育委...
  • 7个国家高技术研...
  • 7个国家重点基础...
  • 7个上海市自然科...
  • 5个上海市科学技...
  • 3个软件工程国家...
  • 2个江西省教育厅...
  • 1个广东省自然科...
  • 1个国家科技支撑...
  • 1个江西省自然科...
  • 1个上海市高等学...
  • 1个浙江省自然科...
  • 1个中国博士后科...
  • 1个国家科技重大...
  • 1个中央级公益性...
  • 1个江西省高等学...
  • 1个江西省教育厅...
  • 1个上海市“科技...
  • 1个上海市教育委...

传媒

  • 6个应用科学学报
  • 6个计算机科学
  • 5个软件学报
  • 5个上海大学学报...
  • 3个华中科技大学...
  • 3个计算机工程与...
  • 3个计算机工程
  • 3个小型微型计算...
  • 2个东南大学学报...
  • 2个计算机学报
  • 2个计算机时代
  • 2个计算机应用与...
  • 2个计算机应用
  • 2个计算机工程与...
  • 2个计算机工程与...
  • 2个计算机教育
  • 2个计算机科学与...
  • 1个计算机集成制...
  • 1个南昌大学学报...
  • 1个科学通报

地区

  • 9个上海市
  • 1个江西省
共 10 条 记 录，以下是 1-10
缪淮扣
供职机构：上海大学计算机工程与科学学院
研究主题：测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
发表作品相关人物供职机构所获资助研究领域
高洪皓
供职机构：上海大学
研究主题：WEB服务 WEB 隐私保护 合约 区块链
发表作品相关人物供职机构所获资助研究领域
黎升洪
供职机构：江西财经大学信息管理学院
研究主题：OCL SPIN WEB服务 WEB应用 WEB建模
发表作品相关人物供职机构所获资助研究领域
王毅俊
供职机构：上海大学计算机工程与科学学院
研究主题：层次分析法 Z规格说明 OWL-S 科技期刊审稿 数据库
发表作品相关人物供职机构所获资助研究领域
严吉皞
供职机构：上海大学计算机工程与科学学院
研究主题：WEB组件 OBJECT-Z 形式化建模 定理证明 组件组合
发表作品相关人物供职机构所获资助研究领域
曹晓夏
供职机构：上海第二工业大学计算机与信息学院
研究主题：遗传算法 测试用例 MDA CIM CI
发表作品相关人物供职机构所获资助研究领域
戴雨婷
供职机构：上海大学计算机工程与科学学院
研究主题：一致性 LSC
发表作品相关人物供职机构所获资助研究领域
孙茂华
供职机构：上海大学计算机工程与科学学院
研究主题：Z规格说明 WEB应用 定理证明 逆向工程 数据库交互
发表作品相关人物供职机构所获资助研究领域
梅佳
供职机构：上海大学
研究主题：LSC WEB应用 有限状态机 一致性 安全性
发表作品相关人物供职机构所获资助研究领域
许庆国
供职机构：上海大学计算机工程与科学学院
研究主题：PVS 抽象语法树 控制流图 OBJECT-Z 实时系统
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0