您的位置： 专家智库 > >

国家自然科学基金(60373072)

作品数：22 被引量：90H指数：5
相关作者：缪淮扣文志诚陈怡海黎升洪张新林更多>>
相关机构：上海大学江西财经大学杭州电子科技大学更多>>
发文基金：国家自然科学基金江西省教育厅科学技术研究项目国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术经济管理更多>>

领域

  • 21个自动化与计算...
  • 12个文化科学
  • 9个电子电信
  • 8个经济管理
  • 4个社会学
  • 4个理学
  • 3个天文地球
  • 3个金属学及工艺
  • 3个医药卫生
  • 1个生物学
  • 1个化学工程
  • 1个矿业工程
  • 1个石油与天然气...
  • 1个冶金工程
  • 1个机械工程
  • 1个电气工程
  • 1个建筑科学
  • 1个水利工程
  • 1个交通运输工程
  • 1个航空宇航科学...

主题

  • 14个网络
  • 13个形式化
  • 11个软件测试
  • 11个OBJECT...
  • 11个测试用例
  • 10个形式规格说明
  • 10个教学
  • 10个WEB应用
  • 10个Z
  • 9个计算机
  • 9个WEB服务
  • 8个数据库
  • 8个课程
  • 7个软件开发
  • 7个面向对象
  • 6个形式化方法
  • 6个分布式
  • 5个语义
  • 5个时态逻辑
  • 4个导航

机构

  • 20个上海大学
  • 4个上海市计算机...
  • 2个上海第二工业...
  • 2个江西财经大学
  • 1个长春科技大学
  • 1个杭州商学院
  • 1个杭州师范大学
  • 1个湖南工业大学
  • 1个华东师范大学
  • 1个吉林大学
  • 1个杭州电子科技...
  • 1个上海电力学院
  • 1个武汉大学
  • 1个教育部
  • 1个上海科技大学
  • 1个中国科学院
  • 1个湖南科技学院
  • 1个上海水产大学
  • 1个中南大学
  • 1个江西省财经大...

资助

  • 21个国家自然科学...
  • 11个国家重点基础...
  • 9个上海市教育委...
  • 8个国家高技术研...
  • 7个上海市自然科...
  • 5个江西省教育厅...
  • 5个上海市教委科...
  • 4个软件工程国家...
  • 3个中国博士后科...
  • 3个上海市科学技...
  • 2个湖南省自然科...
  • 2个江西省自然科...
  • 2个上海市高等学...
  • 2个国家科技重大...
  • 2个国家教育部博...
  • 2个湖南省教育厅...
  • 2个湖南省普通高...
  • 2个江西省教育厅...
  • 1个吉林大学研究...
  • 1个广东省自然科...

传媒

  • 13个计算机科学
  • 12个计算机应用与...
  • 10个计算机工程
  • 10个上海大学学报...
  • 9个应用科学学报
  • 6个计算机工程与...
  • 6个计算机工程与...
  • 6个计算机教育
  • 5个小型微型计算...
  • 5个软件学报
  • 5个微计算机信息
  • 4个计算机学报
  • 4个计算机应用
  • 4个福建电脑
  • 3个计算机工程与...
  • 3个现代计算机
  • 3个计算机应用研...
  • 3个计算机辅助设...
  • 3个交通与计算机
  • 3个计算机技术与...

地区

  • 14个上海市
  • 2个湖南省
  • 2个江西省
  • 2个浙江省
  • 1个吉林省
共 21 条 记 录，以下是 1-10
缪淮扣
供职机构：上海大学计算机工程与科学学院
研究主题：测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
发表作品相关人物供职机构所获资助研究领域
文志诚
供职机构：湖南工业大学计算机与通信学院
研究主题：网络安全态势 信息融合 软件工程 网络安全 OBJECT-Z
发表作品相关人物供职机构所获资助研究领域
陈怡海
供职机构：上海大学计算机工程与科学学院
研究主题：UML 软件开发 OBJECT-Z 动画模拟 定理证明
发表作品相关人物供职机构所获资助研究领域
黎升洪
供职机构：江西财经大学信息管理学院
研究主题：OCL SPIN WEB服务 WEB应用 WEB建模
发表作品相关人物供职机构所获资助研究领域
曾红卫
供职机构：上海大学计算机工程与科学学院
研究主题：WEB应用 软件工程 测试用例生成 网格工作流 计算机网络
发表作品相关人物供职机构所获资助研究领域
张新林
供职机构：湖南科技学院计算机与通信工程系
研究主题：实验课程 物联网 教学改革 计算机网络 校企合作
发表作品相关人物供职机构所获资助研究领域
孙军梅
供职机构：杭州师范大学
研究主题：图像 网络 图像分割方法 损失函数 腺体
发表作品相关人物供职机构所获资助研究领域
许庆国
供职机构：上海大学计算机工程与科学学院
研究主题：PVS 抽象语法树 控制流图 OBJECT-Z 实时系统
发表作品相关人物供职机构所获资助研究领域
占学德
供职机构：杭州电子科技大学经济学院
研究主题：会计信息系统 UML_STATECHARTS 基于UML UML STATECHARTS
发表作品相关人物供职机构所获资助研究领域
陈圣波
供职机构：吉林大学
研究主题：遥感 地理信息系统 植被指数 遥感影像 月球
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共3页<123>
聚类工具0