您的位置： 专家智库 > >

国家自然科学基金(60173030)

作品数：18 被引量：92H指数：6
相关作者：缪淮扣刘玲高晓雷陈怡海刘静更多>>
相关机构：上海大学杭州师范大学东莞理工学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信经济管理更多>>

领域

  • 22个自动化与计算...
  • 10个文化科学
  • 9个电子电信
  • 7个经济管理
  • 5个理学
  • 4个社会学
  • 3个医药卫生
  • 2个天文地球
  • 2个金属学及工艺
  • 2个机械工程
  • 2个电气工程
  • 1个生物学
  • 1个化学工程
  • 1个动力工程及工...
  • 1个建筑科学
  • 1个轻工技术与工...
  • 1个交通运输工程
  • 1个航空宇航科学...
  • 1个环境科学与工...
  • 1个农业科学

主题

  • 12个软件测试
  • 12个软件开发
  • 11个形式化
  • 9个自动生成
  • 9个网络
  • 9个测试用例
  • 8个形式规格说明
  • 8个OBJECT...
  • 7个自动化
  • 7个面向对象
  • 6个软件工程
  • 6个软件体系结构
  • 5个定理
  • 5个定理证明
  • 4个形式化规格说...
  • 4个遗传算法
  • 4个数据挖掘
  • 3个信息系统
  • 3个形式化方法
  • 3个形式语言

机构

  • 21个上海大学
  • 2个东莞理工学院
  • 2个上海第二工业...
  • 1个广东电网公司
  • 1个杭州师范大学
  • 1个华东师范大学
  • 1个杭州电子科技...
  • 1个上海电力学院
  • 1个华南理工大学
  • 1个教育部
  • 1个广东省电力设...
  • 1个上海市计算机...
  • 1个上海科学技术...
  • 1个湖北民族大学
  • 1个广东新创意专...

资助

  • 22个国家自然科学...
  • 7个国家高技术研...
  • 7个国家重点基础...
  • 6个上海市教育委...
  • 5个上海市自然科...
  • 3个广东省自然科...
  • 3个上海市高等学...
  • 2个广东省科技攻...
  • 2个国家科技重大...
  • 2个国家教育部博...
  • 2个软件工程国家...
  • 2个上海市教育委...
  • 2个中央高校基本...
  • 2个上海市教委科...
  • 1个江西省自然科...
  • 1个上海市青年科...
  • 1个浙江省教育厅...
  • 1个浙江省医药卫...
  • 1个浙江省自然科...
  • 1个国家教育部“...

传媒

  • 11个计算机工程
  • 11个计算机科学
  • 10个计算机应用与...
  • 8个计算机工程与...
  • 7个应用科学学报
  • 7个上海大学学报...
  • 5个计算机工程与...
  • 4个小型微型计算...
  • 4个软件学报
  • 4个2003''...
  • 4个2003中国...
  • 3个同济大学学报...
  • 3个计算机应用
  • 3个福建电脑
  • 3个计算机教育
  • 3个第二届中国测...
  • 2个科学通报
  • 2个计算机学报
  • 2个计算机工程与...
  • 2个微电子学与计...

地区

  • 18个上海市
  • 2个浙江省
  • 2个广东省
共 22 条 记 录，以下是 1-10
缪淮扣
供职机构：上海大学计算机工程与科学学院
研究主题：测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
发表作品相关人物供职机构所获资助研究领域
刘玲
供职机构：上海大学计算中心
研究主题：软件测试 测试用例 Z规格说明 测试用例生成 形式化规格说明
发表作品相关人物供职机构所获资助研究领域
高晓雷
供职机构：东莞理工学院计算机学院
研究主题：面向对象 软件开发 面向对象方法 Z规格说明 软件开发方法
发表作品相关人物供职机构所获资助研究领域
刘静
供职机构：华东师范大学软件学院上海市高可信计算重点实验室
研究主题：半导体光放大器 全光波长变换 WEB服务 形式化验证 接口
发表作品相关人物供职机构所获资助研究领域
陈怡海
供职机构：上海大学计算机工程与科学学院
研究主题：UML 软件开发 OBJECT-Z 动画模拟 定理证明
发表作品相关人物供职机构所获资助研究领域
刘辉
供职机构：上海大学计算机工程与科学学院
研究主题：专家系统 地震预报专家系统 软件体系结构 软件开发 知识表示方法
发表作品相关人物供职机构所获资助研究领域
李勇
供职机构：华南理工大学
研究主题：热管 微热管 吸液芯 除气 工质
发表作品相关人物供职机构所获资助研究领域
陈丹
供职机构：上海大学计算机工程与科学学院
研究主题：分布式系统 分布式 功能复用 信息孤岛 基于SOA
发表作品相关人物供职机构所获资助研究领域
赵梅
供职机构：上海大学计算机工程与科学学院
研究主题：文档编辑器 特征提取 数据挖掘 云仿真 MFC
发表作品相关人物供职机构所获资助研究领域
羊冬昭
供职机构：上海大学计算机工程与科学学院
研究主题：JAVA语言 INTERNET环境 INTERNET Z规格说明 XML
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共3页<123>
聚类工具0