您的位置： 专家智库 > >

国家重点基础研究发展计划(2002CB312001)

作品数：26 被引量：206H指数：8
相关作者：李宣东郑国梁缪淮扣赵建华王林章更多>>
相关机构：南京大学上海大学华东师范大学更多>>
发文基金：国家重点基础研究发展计划国家自然科学基金江苏省自然科学基金更多>>
相关领域：自动化与计算机技术机械工程理学电子电信更多>>

领域

  • 28个自动化与计算...
  • 16个文化科学
  • 14个电子电信
  • 9个经济管理
  • 8个医药卫生
  • 8个理学
  • 6个机械工程
  • 5个建筑科学
  • 4个社会学
  • 3个生物学
  • 3个航空宇航科学...
  • 3个政治法律
  • 2个天文地球
  • 2个金属学及工艺
  • 2个电气工程
  • 2个交通运输工程
  • 2个历史地理
  • 2个自然科学总论
  • 1个化学工程
  • 1个动力工程及工...

主题

  • 17个MDA
  • 15个形式化
  • 15个网络
  • 15个测试用例
  • 14个软件测试
  • 14个软件开发
  • 13个计算机
  • 12个嵌入式
  • 11个嵌入式系统
  • 10个形式化方法
  • 7个定理
  • 7个序列图
  • 6个代码
  • 6个调度
  • 6个定理证明
  • 6个形式规格说明
  • 5个等价
  • 5个形式化验证
  • 4个代码生成
  • 4个递归

机构

  • 16个南京大学
  • 11个上海大学
  • 8个计算机软件新...
  • 3个华东师范大学
  • 2个北京信息工程...
  • 2个南京航空航天...
  • 2个中国科学技术...
  • 2个上海市计算机...
  • 1个杭州师范大学
  • 1个湖南工业大学
  • 1个吉林大学
  • 1个湖州师范学院
  • 1个杭州电子科技...
  • 1个上海第二工业...
  • 1个上海电力学院
  • 1个武汉大学
  • 1个教育部
  • 1个中南大学
  • 1个电力部
  • 1个兖矿集团有限...

资助

  • 28个国家重点基础...
  • 28个国家自然科学...
  • 16个国家高技术研...
  • 16个江苏省自然科...
  • 7个上海市自然科...
  • 7个中国博士后科...
  • 7个上海市教育委...
  • 6个国家教育部博...
  • 5个国家科技重大...
  • 5个中央高校基本...
  • 4个江苏省基础研...
  • 4个软件工程国家...
  • 3个山东省自然科...
  • 3个江苏省博士后...
  • 3个教育部高等学...
  • 2个湖南省自然科...
  • 2个国家教育部“...
  • 2个江西省教育厅...
  • 2个“九五”国家...
  • 2个国家重点实验...

传媒

  • 23个计算机科学
  • 17个软件学报
  • 15个计算机应用与...
  • 10个计算机学报
  • 9个计算机研究与...
  • 9个计算机工程
  • 8个计算机应用研...
  • 7个小型微型计算...
  • 7个计算机工程与...
  • 7个计算机工程与...
  • 6个电子学报
  • 6个上海大学学报...
  • 6个计算机科学与...
  • 5个南京大学学报...
  • 5个计算机工程与...
  • 5个应用科学学报
  • 5个中国科学：信...
  • 4个计算机教育
  • 4个2003中国...
  • 3个计算机辅助设...

地区

  • 14个江苏省
  • 10个上海市
  • 2个浙江省
  • 1个湖南省
  • 1个吉林省
共 28 条 记 录，以下是 1-10
郑国梁
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：面向对象 软件工程 软件开发 UML 程序设计
发表作品相关人物供职机构所获资助研究领域
李宣东
供职机构：南京大学
研究主题：自动机 面向对象 混成系统 MDA 实时系统
发表作品相关人物供职机构所获资助研究领域
缪淮扣
供职机构：上海大学计算机工程与科学学院
研究主题：测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
发表作品相关人物供职机构所获资助研究领域
赵建华
供职机构：南京大学
研究主题：MDA 规约 EDOC 实时系统 时间自动机
发表作品相关人物供职机构所获资助研究领域
王林章
供职机构：南京大学
研究主题：制导 数据竞争 自动机 规约 控制流图
发表作品相关人物供职机构所获资助研究领域
胡军
供职机构：南京航空航天大学
研究主题：故障树 形式化方法 安全关键系统 SYSML 接口自动机
发表作品相关人物供职机构所获资助研究领域
于笑丰
供职机构：南京大学商学院
研究主题：接口自动机 统一建模语言 顺序图 MDA 影响因素
发表作品相关人物供职机构所获资助研究领域
张岩
供职机构：吉林大学
研究主题：三维模型 纹理合成 接口自动机 图像 不锈钢
发表作品相关人物供职机构所获资助研究领域
孙军梅
供职机构：杭州师范大学
研究主题：图像 网络 图像分割方法 损失函数 腺体
发表作品相关人物供职机构所获资助研究领域
陈铭松
供职机构：华东师范大学
研究主题：物联网 云计算 规约 语言描述 信物
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共3页<123>
聚类工具0