2024年12月23日
星期一
|
欢迎来到海南省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
上海市自然科学基金(09ZR1412100)
作品数:
19
被引量:55
H指数:4
相关作者:
缪淮扣
曾红卫
梅佳
刘攀
陈圣波
更多>>
相关机构:
上海大学
上海市计算机软件评测重点实验室
上海第二工业大学
更多>>
发文基金:
上海市自然科学基金
上海市教育委员会重点学科基金
国家自然科学基金
更多>>
相关领域:
自动化与计算机技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
26个
自动化与计算...
8个
文化科学
4个
电子电信
3个
天文地球
2个
经济管理
2个
生物学
2个
金属学及工艺
2个
环境科学与工...
2个
医药卫生
2个
农业科学
2个
历史地理
2个
理学
1个
化学工程
1个
矿业工程
1个
石油与天然气...
1个
冶金工程
1个
水利工程
1个
航空宇航科学...
1个
社会学
1个
政治法律
主题
18个
WEB应用
10个
自动化
10个
测试用例
9个
有限状态机
9个
软件测试
9个
状态机
9个
网络
8个
测试用例生成
7个
自动化测试
6个
导航
6个
导航模型
6个
冗余
6个
自动生成
5个
形式化
5个
一致性
5个
软件工程
4个
用户
4个
语义提取
4个
约简方法
3个
形式规格说明
机构
26个
上海大学
11个
上海市计算机...
2个
上海第二工业...
1个
广西财经学院
1个
长春科技大学
1个
吉林大学
1个
武汉大学
1个
上海科技大学
1个
浙江大学
1个
中国科学院
1个
信阳师范学院
1个
中国人民解放...
1个
上海科学技术...
资助
26个
国家自然科学...
26个
上海市自然科...
25个
上海市教育委...
19个
国家重点基础...
13个
国家高技术研...
10个
上海市科学技...
6个
上海市教委科...
5个
软件工程国家...
2个
中国博士后科...
2个
国家科技重大...
2个
中央级公益性...
1个
吉林大学研究...
1个
广东省自然科...
1个
国家科技支撑...
1个
国家社会科学...
1个
河南省教育厅...
1个
吉林大学青年...
1个
吉林省科技发...
1个
江西省自然科...
1个
山东省自然科...
传媒
13个
上海大学学报...
12个
计算机科学
11个
应用科学学报
8个
软件学报
7个
计算机工程与...
7个
计算机技术与...
6个
计算机学报
6个
计算机工程
4个
计算机工程与...
4个
计算机应用与...
4个
计算机工程与...
3个
东南大学学报...
3个
小型微型计算...
3个
微计算机信息
3个
计算机科学与...
2个
通信学报
2个
信阳师范学院...
2个
华中科技大学...
2个
计算机应用研...
2个
计算机辅助设...
地区
24个
上海市
1个
河南省
1个
吉林省
共
26
条 记 录,以下是 1-10
全选
清除
导出
缪淮扣
供职机构:上海大学计算机工程与科学学院
研究主题:测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
发表作品
相关人物
供职机构
所获资助
研究领域
曾红卫
供职机构:上海大学计算机工程与科学学院
研究主题:WEB应用 软件工程 测试用例生成 网格工作流 计算机网络
发表作品
相关人物
供职机构
所获资助
研究领域
梅佳
供职机构:上海大学
研究主题:LSC WEB应用 有限状态机 一致性 安全性
发表作品
相关人物
供职机构
所获资助
研究领域
陈圣波
供职机构:吉林大学
研究主题:遥感 植被指数 地理信息系统 遥感影像 月球
发表作品
相关人物
供职机构
所获资助
研究领域
高洪皓
供职机构:上海大学
研究主题:WEB服务 WEB 隐私保护 合约 区块链
发表作品
相关人物
供职机构
所获资助
研究领域
刘攀
供职机构:上海大学计算机工程与科学学院
研究主题:冗余 测试生成算法 有限状态机 WEB应用 约简方法
发表作品
相关人物
供职机构
所获资助
研究领域
贺斌
供职机构:上海大学计算机工程与科学学院
研究主题:WEB应用 测试脚本 自动化测试 冗余 约简方法
发表作品
相关人物
供职机构
所获资助
研究领域
曹晓夏
供职机构:上海第二工业大学计算机与信息学院
研究主题:遗传算法 测试用例 MDA CIM CI
发表作品
相关人物
供职机构
所获资助
研究领域
许庆国
供职机构:上海大学计算机工程与科学学院
研究主题:PVS 抽象语法树 控制流图 OBJECT-Z 实时系统
发表作品
相关人物
供职机构
所获资助
研究领域
郭亮
供职机构:上海大学
研究主题:状态图 有限状态机 FSM模型 UML模型 WEB应用
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共3页
<
1
2
3
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张