您的位置： 专家智库 > >

江苏省高校自然科学研究项目(05KJB520119)

作品数：48 被引量：149H指数：8
相关作者：张广泉戎玫杨敬中陈冬火陆公正更多>>
相关机构：苏州大学暨南大学重庆师范大学更多>>
发文基金：江苏省高校自然科学研究项目重庆市自然科学基金国家重点实验室开放基金更多>>
相关领域：自动化与计算机技术天文地球更多>>

领域

  • 45个自动化与计算...
  • 22个文化科学
  • 12个电子电信
  • 11个经济管理
  • 6个理学
  • 5个建筑科学
  • 4个天文地球
  • 4个轻工技术与工...
  • 3个哲学宗教
  • 3个交通运输工程
  • 3个医药卫生
  • 3个政治法律
  • 2个机械工程
  • 2个航空宇航科学...
  • 2个环境科学与工...
  • 2个一般工业技术
  • 2个社会学
  • 1个生物学
  • 1个电气工程
  • 1个农业科学

主题

  • 23个形式化
  • 19个教学
  • 17个网络
  • 17个UML
  • 16个课程
  • 15个体系结构
  • 15个计算机
  • 14个软件体系结构
  • 14个时序逻辑
  • 13个测试用例
  • 12个软件开发
  • 11个软件工程
  • 11个状态图
  • 10个形式化方法
  • 10个形式化描述
  • 10个面向对象
  • 9个顺序图
  • 9个基于UML
  • 8个语义
  • 8个软件测试

机构

  • 32个苏州大学
  • 7个重庆师范大学
  • 4个中国科学院软...
  • 3个南京航空航天...
  • 3个苏州市职业大...
  • 3个徐州师范大学
  • 2个北华航天工业...
  • 2个江苏广播电视...
  • 2个南京大学
  • 2个暨南大学
  • 2个无锡商业职业...
  • 2个中国科学院
  • 2个中国科学院研...
  • 2个苏州技师学院
  • 2个中国科学院大...
  • 1个东南大学
  • 1个河南经贸职业...
  • 1个荆楚理工学院
  • 1个解放军理工大...
  • 1个北京工业大学

资助

  • 45个江苏省高校自...
  • 31个重庆市自然科...
  • 23个国家自然科学...
  • 20个国家重点实验...
  • 16个重庆市教育委...
  • 10个国家高技术研...
  • 10个江苏省自然科...
  • 7个苏州市科技计...
  • 5个中国航空科学...
  • 4个国家教育部博...
  • 4个江苏省普通高...
  • 3个国家重点基础...
  • 3个江苏省计算机...
  • 3个中国博士后科...
  • 3个江苏省博士后...
  • 3个中国民航总局...
  • 3个教育部重点实...
  • 2个福建省自然科...
  • 2个国家留学基金
  • 2个重庆市应用基...

传媒

  • 16个计算机科学
  • 16个苏州大学学报...
  • 14个苏州大学学报...
  • 12个计算机工程与...
  • 11个计算机应用
  • 10个计算机工程与...
  • 8个计算机研究与...
  • 8个计算机工程与...
  • 8个计算机应用与...
  • 8个电脑知识与技...
  • 7个电子学报
  • 6个计算机工程
  • 6个微电子学与计...
  • 6个软件学报
  • 6个电脑知识与技...
  • 5个计算机学报
  • 5个计算机应用研...
  • 5个解放军理工大...
  • 5个福建电脑
  • 5个科技信息

地区

  • 37个江苏省
  • 3个北京市
  • 1个湖北省
  • 1个山东省
  • 1个云南省
  • 1个重庆市
  • 1个河北省
共 45 条 记 录，以下是 1-10
张广泉
供职机构：苏州大学计算机科学与技术学院
研究主题：软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
发表作品相关人物供职机构所获资助研究领域
戎玫
供职机构：苏州大学
研究主题：WEB服务组合 软件体系结构 UML XYZ/ADL CPS
发表作品相关人物供职机构所获资助研究领域
杨敬中
供职机构：苏州大学计算机科学与技术学院
研究主题：面向方面建模 面向方面编程 软件体系结构 XYZ/E 形式化描述方法
发表作品相关人物供职机构所获资助研究领域
陆公正
供职机构：苏州市职业大学
研究主题：时序逻辑 工作流 UML状态图 排序 软件测试
发表作品相关人物供职机构所获资助研究领域
陈冬火
供职机构：苏州大学
研究主题：SPIN 机器人 时序逻辑 形式化方法 以太网传输
发表作品相关人物供职机构所获资助研究领域
何志学
供职机构：北京工业大学计算机学院
研究主题：生物教学 查询处理方法 XML数据 生物学教学 TWIG
发表作品相关人物供职机构所获资助研究领域
黄正宝
供职机构：无锡商业职业技术学院
研究主题：形式化语义 XYZ/E 时序逻辑 UML_2.0 UML2.0
发表作品相关人物供职机构所获资助研究领域
陈琳琳
供职机构：苏州大学
研究主题：UML XYZ/ADL 形式化描述 可视化描述 软件体系结构
发表作品相关人物供职机构所获资助研究领域
陈道喜
供职机构：苏州技师学院
研究主题：SPIN PROMELA 样题 SET协议 SET
发表作品相关人物供职机构所获资助研究领域
王辉
供职机构：苏州大学计算机科学与技术学院
研究主题：Q 隐马尔可夫模型 交互研究 手势识别 高斯过程
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共5页<12345>
聚类工具0