2025年1月11日
星期六
|
欢迎来到佛山市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
国家重点基础研究发展计划(2002CB312001)
作品数:
26
被引量:207
H指数: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个
定理
6个
代码
6个
调度
6个
定理证明
6个
形式规格说明
5个
等价
5个
形式化验证
4个
代码生成
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页
<
1
2
3
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张