2024年8月27日
星期二
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
马晓东
作品数:
8
被引量:23
H指数:3
供职机构:
国防科学技术大学
更多>>
发文基金:
国家高技术研究发展计划
霍英东青年教师基金
国家自然科学基金
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
王戟
武汉大学计算机学院软件工程国家...
齐治昌
国防科学技术大学计算机学院
董威
国防科学技术大学计算机学院
单锦辉
国防科学技术大学计算机学院
徐厚峰
国防科学技术大学
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
10个
自动化与计算...
6个
文化科学
5个
理学
4个
军事
2个
经济管理
2个
电子电信
2个
航空宇航科学...
2个
自然科学总论
1个
生物学
1个
天文地球
1个
石油与天然气...
1个
金属学及工艺
1个
动力工程及工...
1个
电气工程
1个
交通运输工程
1个
一般工业技术
1个
兵器科学与技...
主题
7个
代码
6个
形式化
6个
形式化验证
4个
迭代
4个
形式化方法
3个
代码覆盖
3个
代码覆盖率
3个
代码实现
3个
代码自动生成
3个
递归
3个
迭代计算
3个
动态绑定
3个
读操作
3个
信息处理
3个
信息化
3个
信息化建设
3个
信息社会
3个
信息系统
3个
信息引导
3个
训练集
机构
10个
国防科学技术...
3个
国防科技大学
2个
北京大学
2个
武汉大学
2个
教育部
2个
并行与分布处...
1个
长沙大学
1个
长沙工学院
1个
哈尔滨工业大...
1个
北京航空航天...
1个
西北工业大学
1个
湖南商学院
1个
中国石油天然...
1个
中国人民解放...
1个
北京特种工程...
1个
国家数字交换...
1个
武警工程学院...
1个
中国计算机学...
1个
中国酒泉卫星...
资助
9个
国家高技术研...
8个
国家重点基础...
7个
国家自然科学...
5个
霍英东青年教...
4个
教育部“新世...
3个
国家重点实验...
3个
软件工程国家...
2个
湖北省自然科...
2个
湖南省自然科...
2个
国家教育部博...
2个
国家精品课程...
2个
湖南省教育科...
2个
中央高校基本...
1个
霍英东教育基...
1个
上海市自然科...
1个
中国博士后科...
1个
国家杰出青年...
1个
广州市科技计...
1个
中央级公益性...
1个
国防科技大学...
传媒
9个
计算机工程与...
6个
软件学报
6个
计算机科学
5个
计算机研究与...
5个
计算机工程与...
4个
电子学报
4个
计算机学报
4个
计算机工程
4个
高等教育研究...
4个
计算机教育
4个
2005年应...
3个
中国大学教学
3个
计算机科学与...
3个
前瞻科技
3个
2002全国...
3个
2004’全...
3个
2007年全...
3个
2011全国...
2个
南京大学学报...
2个
计算机应用与...
地区
8个
湖南省
1个
北京市
1个
陕西省
共
10
条 记 录,以下是 1-10
全选
清除
导出
王戟
供职机构:国防科学技术大学
研究主题:软件测试 软件开发 软件工程 时序逻辑 自动机
发表作品
相关人物
供职机构
所获资助
研究领域
董威
供职机构:国防科学技术大学
研究主题:软件工程 配置项 UML 语义 监控器
发表作品
相关人物
供职机构
所获资助
研究领域
齐治昌
供职机构:国防科学技术大学计算机学院计算机科学与技术系
研究主题:软件工程 软件开发 UML AGENT 实时系统
发表作品
相关人物
供职机构
所获资助
研究领域
单锦辉
供职机构:北京特种工程设计研究院
研究主题:软件测试 测试数据自动生成 自动生成方法 测试数据 合约
发表作品
相关人物
供职机构
所获资助
研究领域
刘万伟
供职机构:国防科学技术大学
研究主题:勘探开发 自动机 操作系统 词法分析 监控器
发表作品
相关人物
供职机构
所获资助
研究领域
徐厚峰
供职机构:国防科学技术大学
研究主题:词法分析 内存泄漏检测 内存泄漏 上下文敏感 源代码
发表作品
相关人物
供职机构
所获资助
研究领域
王瑞
供职机构:国防科学技术大学
研究主题:体系结构 规约 关键字查询 脚本文件 克隆检测
发表作品
相关人物
供职机构
所获资助
研究领域
毛晓光
供职机构:国防科学技术大学
研究主题:面向方面编程 软件工程 浮点 AOP 客户端
发表作品
相关人物
供职机构
所获资助
研究领域
代子营
供职机构:国防科学技术大学
研究主题:规约 内存模型 脚本文件 模式构造 模版
发表作品
相关人物
供职机构
所获资助
研究领域
单黎君
供职机构:西北工业大学
研究主题:CPS UML 一阶逻辑 建模语言 ADL模型
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张