2024年12月29日
星期日
|
欢迎来到鞍山市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
缪淮扣
作品数:
154
被引量:504
H指数:11
供职机构:
上海大学计算机工程与科学学院
更多>>
发文基金:
国家自然科学基金
国家重点基础研究发展计划
上海市教育委员会重点学科基金
更多>>
相关领域:
自动化与计算机技术
经济管理
文化科学
理学
更多>>
合作作者
曾红卫
上海市计算机软件评测重点实验室
高洪皓
上海市计算机软件评测重点实验室
陈怡海
上海大学计算机工程与科学学院
钱忠胜
江西财经大学信息管理学院
刘玲
上海大学计算机工程与科学学院
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
97个
自动化与计算...
35个
文化科学
27个
电子电信
19个
经济管理
18个
理学
10个
机械工程
10个
医药卫生
8个
天文地球
8个
化学工程
8个
电气工程
8个
交通运输工程
6个
生物学
6个
金属学及工艺
6个
环境科学与工...
6个
一般工业技术
6个
社会学
6个
历史地理
4个
轻工技术与工...
4个
航空宇航科学...
4个
农业科学
主题
44个
网络
37个
形式化
37个
WEB应用
35个
软件测试
35个
计算机
34个
测试用例
26个
数据库
24个
自动化
23个
课程
22个
软件开发
22个
教学
22个
测试用例生成
22个
WEB服务
21个
面向对象
20个
分布式
20个
Z规格说明
19个
图像
16个
软件工程
14个
有限状态机
12个
形式化方法
机构
91个
上海大学
14个
上海市计算机...
4个
上海第二工业...
3个
上海交通大学
3个
上海科技大学
2个
东莞理工学院
2个
华东师范大学
2个
中国科学院
2个
湖南科技学院
2个
江西财经大学
2个
中南大学
2个
中国科学院软...
2个
中国科学院上...
1个
广州大学
1个
广东电网公司
1个
广西财经学院
1个
广西大学
1个
安阳大学
1个
安阳工学院
1个
哈尔滨工业大...
资助
90个
国家自然科学...
40个
上海市教育委...
39个
国家重点基础...
33个
国家高技术研...
29个
上海市自然科...
18个
上海市教委科...
13个
上海市科学技...
8个
上海市高等学...
7个
中国博士后科...
7个
国家科技重大...
7个
上海市教育委...
6个
上海市教育发...
4个
上海市青年科...
4个
浙江省自然科...
4个
江西省教育厅...
4个
软件工程国家...
4个
上海市“科技...
3个
湖南省自然科...
3个
上海市科学技...
3个
国家教育部博...
传媒
41个
计算机科学
36个
计算机应用与...
36个
上海大学学报...
33个
计算机工程
22个
应用科学学报
22个
计算机工程与...
21个
计算机工程与...
13个
小型微型计算...
13个
软件学报
11个
计算机应用
10个
计算机学报
10个
计算机教育
8个
电脑知识与技...
7个
计算机工程与...
7个
现代计算机
7个
微电子学与计...
7个
福建电脑
6个
计算机应用研...
6个
计算机系统应...
5个
计算机研究与...
地区
81个
上海市
3个
湖南省
3个
浙江省
2个
河南省
2个
江西省
2个
广东省
1个
黑龙江省
1个
吉林省
1个
江苏省
1个
山东省
1个
福建省
共
98
条 记 录,以下是 1-10
全选
清除
导出
曾红卫
供职机构:上海大学计算机工程与科学学院
研究主题:WEB应用 软件工程 测试用例生成 网格工作流 计算机网络
发表作品
相关人物
供职机构
所获资助
研究领域
高洪皓
供职机构:上海大学
研究主题:WEB服务 WEB 隐私保护 合约 区块链
发表作品
相关人物
供职机构
所获资助
研究领域
陈怡海
供职机构:上海大学计算机工程与科学学院
研究主题:UML 软件开发 OBJECT-Z 动画模拟 定理证明
发表作品
相关人物
供职机构
所获资助
研究领域
钱忠胜
供职机构:江西财经大学
研究主题:测试用例 多路径 测试用例生成 多路径覆盖 种群
发表作品
相关人物
供职机构
所获资助
研究领域
刘玲
供职机构:上海大学计算中心
研究主题:软件测试 测试用例 Z规格说明 测试用例生成 形式化规格说明
发表作品
相关人物
供职机构
所获资助
研究领域
许庆国
供职机构:上海大学计算机工程与科学学院
研究主题:PVS 抽象语法树 控制流图 OBJECT-Z 实时系统
发表作品
相关人物
供职机构
所获资助
研究领域
陈圣波
供职机构:吉林大学
研究主题:遥感 植被指数 地理信息系统 遥感影像 月球
发表作品
相关人物
供职机构
所获资助
研究领域
高晓雷
供职机构:东莞理工学院计算机学院
研究主题:面向对象 软件开发 面向对象方法 Z规格说明 软件开发方法
发表作品
相关人物
供职机构
所获资助
研究领域
朱关铭
供职机构:上海大学计算机工程与科学学院
研究主题:Z语言 OOZS 面向对象 Z规格说明 PROLOG
发表作品
相关人物
供职机构
所获资助
研究领域
梅佳
供职机构:上海大学
研究主题:LSC WEB应用 有限状态机 一致性 安全性
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共10页
<
1
2
3
4
5
6
7
8
9
10
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张