您的位置： 专家智库 > >

国家自然科学基金(69773038)

作品数：9 被引量：14H指数：2
相关作者：缪淮扣李莉朱关铭刘玲童頫更多>>
相关机构：上海大学更多>>
发文基金：国家自然科学基金上海市高等学校科学技术发展基金更多>>
相关领域：自动化与计算机技术经济管理文化科学更多>>

领域

  • 10个自动化与计算...
  • 4个电子电信
  • 4个理学
  • 3个经济管理
  • 3个医药卫生
  • 3个文化科学
  • 2个金属学及工艺
  • 2个机械工程
  • 1个电气工程
  • 1个航空宇航科学...
  • 1个社会学

主题

  • 9个Z规格说明
  • 7个软件开发
  • 6个形式化
  • 5个定理
  • 5个软件测试
  • 4个定理证明
  • 4个遗传算法
  • 4个软件工程
  • 4个变式
  • 3个形式语义
  • 3个语法分析
  • 3个可视化
  • 3个抽取
  • 2个等价
  • 2个电路
  • 2个调度
  • 2个对象模型
  • 2个形式化开发
  • 2个形式化描述
  • 2个性能分析

机构

  • 10个上海大学
  • 2个中国科学院软...
  • 1个东莞理工学院
  • 1个哈尔滨工业大...
  • 1个宁波大学
  • 1个重庆大学
  • 1个上海市计算机...
  • 1个上海科学技术...

资助

  • 10个国家自然科学...
  • 5个国家高技术研...
  • 4个上海市高等学...
  • 2个广东省自然科...
  • 2个国家重点基础...
  • 1个广东省科技攻...
  • 1个江西省自然科...
  • 1个上海市自然科...
  • 1个浙江省自然科...
  • 1个江西省教育厅...
  • 1个江西省教育厅...
  • 1个软件工程国家...
  • 1个上海市教育委...
  • 1个上海市科学技...
  • 1个上海市教委科...

传媒

  • 8个上海大学学报...
  • 7个计算机工程
  • 6个计算机应用与...
  • 6个计算机科学
  • 4个计算机工程与...
  • 4个应用科学学报
  • 3个计算机工程与...
  • 3个小型微型计算...
  • 3个软件学报
  • 2个计算机研究与...
  • 2个计算机学报
  • 2个同济大学学报...
  • 2个计算机应用
  • 2个2003''...
  • 2个2003中国...
  • 2个第二届中国测...
  • 1个科学通报
  • 1个东南大学学报...
  • 1个南京大学学报...
  • 1个上海金属

地区

  • 8个上海市
  • 1个黑龙江省
  • 1个广东省
共 10 条 记 录，以下是 1-10
缪淮扣
供职机构：上海大学计算机工程与科学学院
研究主题：测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
发表作品相关人物供职机构所获资助研究领域
李莉
供职机构：上海大学计算机工程与科学学院
研究主题：INTERNET B方法 WEB 形式化方法 基于WEB技术
发表作品相关人物供职机构所获资助研究领域
朱关铭
供职机构：上海大学计算机工程与科学学院
研究主题：Z语言 OOZS 面向对象 Z规格说明 PROLOG
发表作品相关人物供职机构所获资助研究领域
明继军
供职机构：上海大学
研究主题：Z规格说明 抽取 变式 连接式 谓词
发表作品相关人物供职机构所获资助研究领域
余川江
供职机构：哈尔滨工业大学
研究主题：MICROSOFT MAPREDUCE COM AJAX技术 Z规格说明
发表作品相关人物供职机构所获资助研究领域
高晓雷
供职机构：东莞理工学院计算机学院
研究主题：面向对象 软件开发 面向对象方法 Z规格说明 软件开发方法
发表作品相关人物供职机构所获资助研究领域
童頫
供职机构：上海大学计算机工程与科学学院
研究主题：人工智能 计算机 面向对象 软件开发 布线算法
发表作品相关人物供职机构所获资助研究领域
张阁
供职机构：上海大学计算机工程与科学学院
研究主题：页面置换算法 LRU FIFO Z语言 Z规格说明
发表作品相关人物供职机构所获资助研究领域
刘玲
供职机构：上海大学计算中心
研究主题：软件测试 测试用例 Z规格说明 测试用例生成 形式化规格说明
发表作品相关人物供职机构所获资助研究领域
李刚
供职机构：上海大学
研究主题：面向对象 OOZS 软件开发 有向图模型 Z语言
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0