您的位置： 专家智库 > >

尹玲

作品数：5 被引量：10H指数：1
供职机构：华东师范大学更多>>
发文基金：国家教育部博士点基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 7个自动化与计算...
  • 5个经济管理
  • 5个文化科学
  • 4个电子电信
  • 3个天文地球
  • 2个航空宇航科学...
  • 2个医药卫生
  • 2个理学
  • 1个哲学宗教
  • 1个生物学
  • 1个石油与天然气...
  • 1个建筑科学
  • 1个交通运输工程
  • 1个环境科学与工...
  • 1个社会学
  • 1个政治法律
  • 1个语言文字
  • 1个艺术
  • 1个历史地理

主题

  • 8个软件工程
  • 7个软件系统
  • 7个系统模型
  • 6个形式化
  • 6个用户
  • 6个语义
  • 6个顺序图
  • 6个契约
  • 6个建模语言
  • 5个形式化验证
  • 5个用户定义
  • 5个时态逻辑
  • 5个统一建模
  • 5个统一建模语言
  • 4个调度
  • 4个形式化方法
  • 4个软件测试
  • 4个软件开发
  • 3个多形
  • 3个信息物理融合...

机构

  • 8个华东师范大学
  • 2个武汉大学
  • 2个教育部
  • 1个北京大学
  • 1个江南计算技术...
  • 1个上海电力学院
  • 1个上海大学
  • 1个浙江师范大学
  • 1个中国科学院数...
  • 1个中国科学院研...

资助

  • 6个国家自然科学...
  • 5个国家高技术研...
  • 5个国家重点基础...
  • 2个上海市自然科...
  • 2个中国博士后科...
  • 2个北京市教育委...
  • 2个国家教育部博...
  • 2个湖北省青年杰...
  • 2个软件工程国家...
  • 1个湖北省自然科...
  • 1个教育部科学技...
  • 1个武汉大学科技...
  • 1个国家教育部“...
  • 1个国家杰出青年...
  • 1个国家科技重大...
  • 1个上海市国际科...
  • 1个上海市教育委...
  • 1个上海市教育委...
  • 1个上海市科委光...
  • 1个上海市科委重...

传媒

  • 5个软件学报
  • 4个中国科学：信...
  • 3个武汉大学学报...
  • 3个计算机应用研...
  • 2个电子学报
  • 2个计算机学报
  • 2个微计算机信息
  • 2个计算机科学
  • 2个计算机教育
  • 2个航空工程进展
  • 1个系统工程与电...
  • 1个电脑编程技巧...
  • 1个光电子．激光
  • 1个内蒙古科技与...
  • 1个现代地质
  • 1个教学与管理（...
  • 1个电视技术
  • 1个系统科学与数...
  • 1个计算机研究与...
  • 1个华中科技大学...

地区

  • 8个上海市
共 8 条 记 录，以下是 1-8
刘静
供职机构：华东师范大学
研究主题：太极拳运动 译码 ML 校验方法 系统模型
发表作品相关人物供职机构所获资助研究领域
杜德慧
供职机构：华东师范大学
研究主题：自动驾驶 建模语言 时空数据 元数据 汽车自动驾驶
发表作品相关人物供职机构所获资助研究领域
陈小红
供职机构：华东师范大学
研究主题：团队 同义词 设计软件 元模型 地质资料
发表作品相关人物供职机构所获资助研究领域
宫学强
供职机构：华东师范大学
研究主题：UML模型 规约 公式编辑器 系统模型 契约
发表作品相关人物供职机构所获资助研究领域
谢越
供职机构：华东师范大学
研究主题：UML模型 软件开发 大学毕业生 大学毕业 驯化
发表作品相关人物供职机构所获资助研究领域
曹虹华
供职机构：华东师范大学
研究主题：WEB服务 面向语义 语义WEB服务 服务资源 语义WEB
发表作品相关人物供职机构所获资助研究领域
刘静
供职机构：华东师范大学软件学院上海市高可信计算重点实验室
研究主题：半导体光放大器 全光波长变换 WEB服务 形式化验证 接口
发表作品相关人物供职机构所获资助研究领域
孙海英
供职机构：华东师范大学
研究主题：ML 状态机 语义 SYSML 智能车
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0