您的位置： 专家智库 > >

江苏省自然科学基金(BK2003408)

作品数：10 被引量：28H指数：3
相关作者：李宣东郑国梁赵建华胡军于笑丰更多>>
相关机构：南京大学计算机软件新技术国家重点实验室更多>>
发文基金：江苏省自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术机械工程电子电信更多>>

领域

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

主题

  • 11个MDA
  • 9个嵌入式
  • 9个嵌入式系统
  • 8个自动机
  • 7个形式化
  • 7个软件开发
  • 7个设计模式
  • 7个自动化
  • 7个MDA模型
  • 6个形式化方法
  • 6个序列图
  • 5个代码
  • 5个应用程序
  • 5个语义
  • 4个代码生成
  • 3个代码分析
  • 3个等价
  • 3个递归
  • 3个调度
  • 3个迭代

机构

  • 14个南京大学
  • 8个计算机软件新...
  • 2个北京信息工程...
  • 2个南京航空航天...
  • 2个中国科学技术...
  • 1个华东师范大学
  • 1个吉林大学
  • 1个电力部
  • 1个兖矿集团有限...
  • 1个兖矿集团总医...
  • 1个兖州矿业(集...

资助

  • 14个国家重点基础...
  • 14个国家自然科学...
  • 14个江苏省自然科...
  • 9个国家高技术研...
  • 5个中国博士后科...
  • 5个国家教育部博...
  • 5个中央高校基本...
  • 4个国家科技重大...
  • 4个江苏省基础研...
  • 3个山东省自然科...
  • 3个江苏省博士后...
  • 3个教育部高等学...
  • 2个“九五”国家...
  • 2个国家重点实验...
  • 2个江苏省产学研...
  • 2个江苏省研究生...
  • 2个山东省高等学...
  • 2个泰安市科技发...
  • 1个湖南省自然科...
  • 1个教育部留学回...

传媒

  • 14个计算机科学
  • 9个软件学报
  • 8个计算机学报
  • 7个计算机研究与...
  • 6个计算机应用研...
  • 5个电子学报
  • 5个计算机应用与...
  • 5个计算机科学与...
  • 4个南京大学学报...
  • 4个中国科学：信...
  • 3个计算机工程与...
  • 3个计算机工程与...
  • 3个863计划智...
  • 2个计算机工程
  • 2个小型微型计算...
  • 2个航空学报
  • 2个计算机工程与...
  • 2个信息安全学报
  • 2个全国程序设计...
  • 1个分析化学

地区

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