您的位置： 专家智库 > >

国家高技术研究发展计划(2006AA01Z165)

作品数：3 被引量：2H指数：1
相关作者：章靠丁佐华珺小明张乃孝更多>>
相关机构：浙江理工大学华东师范大学北京大学更多>>
发文基金：国家高技术研究发展计划上海市科学技术委员会基础研究重点项目国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 4个自动化与计算...
  • 1个电子电信
  • 1个文化科学

主题

  • 3个形式化
  • 3个形式化方法
  • 3个性能分析
  • 2个语言
  • 2个软件测试
  • 2个事件图
  • 2个自动生成
  • 2个领域语言
  • 1个导航
  • 1个电池
  • 1个电池电量
  • 1个电话交换
  • 1个电话交换系统
  • 1个电量
  • 1个调用图
  • 1个动态特征
  • 1个端口
  • 1个多机
  • 1个多机协同
  • 1个信息使用

机构

  • 2个华东师范大学
  • 2个浙江理工大学
  • 1个北京大学

资助

  • 4个国家高技术研...
  • 3个国家自然科学...
  • 2个上海市科学技...
  • 1个高等学校骨干...
  • 1个浙江省自然科...

传媒

  • 2个计算机学报
  • 2个软件学报
  • 2个计算机工程与...
  • 2个中国科学（E...
  • 2个四川大学学报...
  • 2个计算机科学
  • 2个浙江理工大学...
  • 2个第四届中国软...
  • 1个中国大学教学
  • 1个计算机研究与...
  • 1个北京大学学报...
  • 1个微电子学与计...
  • 1个计算机辅助设...
  • 1个计算机工程与...
  • 1个中国科学：信...
  • 1个软件工程
  • 1个第二届大学计...
  • 1个2010 I...
  • 1个2010 T...
  • 1个2011 A...

地区

  • 2个浙江省
  • 1个北京市
  • 1个上海市
共 4 条 记 录，以下是 1-4
章靠
供职机构：浙江理工大学
研究主题：软件测试 并发程序 事件图 形式化方法 形式化
发表作品相关人物供职机构所获资助研究领域
丁佐华
供职机构：浙江理工大学
研究主题：软件测试 信息使用 频谱 测试用例 PETRI网
发表作品相关人物供职机构所获资助研究领域
珺小明
供职机构：华东师范大学软件学院
研究主题：GARMENT 集成开发环境 领域语言 自动生成 GARDEN
发表作品相关人物供职机构所获资助研究领域
张乃孝
供职机构：北京大学数学科学学院
研究主题：程序设计语言 程序语言 程序设计 数据结构 语言
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0