首 页
学术站点
知识要闻
国际动态
人 物
研招资料
会议中心
学术指南
基本典籍
课 件
必读书目
视听资料
知 识 库
所有栏目
学术站点
知识要闻
国际动态
人物
研招资料
会议中心
学术指南
基本典籍
课件
必读书目
知识库
所有学科
材料科学
动力与电气工程
电子科学与技术
机械工程
信息与通信工程
船舶与海洋工程
化学工程
控制科学与技术
兵器科学与技术
光学工程
计算机科学技术
航空、航天科学技术
核科学技术
标题
作者
关键词
摘要
正文
单位
网址
任意词
工学
>>>
计算机科学技术
>>>
计算机软件
>>>
软件开发环境与开发技术
>>>
搜索结果:
1-2
共查到
“
软件开发环境与开发技术 成都信息工程大学软件工程学院
”
相关记录2条 . 查询时间(0.7 秒)
成都信息工程大学软件工程学院
硕士生导师赵卓宁教授(图)
成都信息工程大学软件工程学院
硕士生导师
教授
软件自动生成
数据集成与可视化
气象信息化
2024/1/18
赵卓宁,男,教授,生于1972年,中共党员,本科学历,硕士学位。现任四川省
信息
化应用支撑
软件工程
技术研究中心副主任职务。兼任中国气象局-
成都信息工程大学
气象
软件工程
联合研究中心副主任。
存档文本
原文地址
文献传递
成都信息工程大学软件工程学院
硕士生导师蒋建民教授(图)
成都信息工程大学软件工程学院
硕士生导师
教授
软件自动生成
形式化方法
软件开发
2020/3/3
蒋建民,男,教授,生于1972年,九三社员,研究生学历,博士学位。2006年在中国科
学院
成都
计算机应用研究所学习,获计算机
软件
与理论专业博士学位。对形式化模型进行了系统、深入的研究,经过近二十年的努力,取得了一系列成果。一方面,开发了具有原创性的、能与Petri网媲美的形式化模型——依赖结构(Dependency structure),该模型比现有的模型在通信、移动性、调度等方面有更强的描述能力;...
存档文本
原文地址
文献传递
中国研究生教育排行榜
-
条
正在加载...
中国学术期刊排行榜
-
条
正在加载...
世界大学科研机构排行榜
-
条
正在加载...
中国大学排行榜
-
条
正在加载...
人 物
-
篇
正在加载...
课 件
-
篇
正在加载...
视听资料
-
篇
正在加载...
知识库
-
篇
正在加载...
研招资料
-
篇
正在加载...
知识要闻
-
篇
正在加载...
国际动态
-
篇
正在加载...
会议中心
-
篇
正在加载...
学术指南
-
篇
正在加载...
学术站点
-
篇
正在加载...