Java构件的组合模型检验技术研究
批准号：
60803042
项目类别：
青年科学基金项目
资助金额：
20.0 万元
负责人：
文艳军
依托单位：
学科分类：
计算机科学的基础理论
结题年份：
2011
批准年份：
2008
项目状态：
已结题
项目参与者：
易晓东、李仁见、王昭飞、赵常智、徐厚峰
项目摘要
结项摘要
项目成果
相似基金
相关文献
中文摘要
软件模型检验的可扩展性是一个技术难点，它严重制约了模型检验技术在软件方面的广泛应用。针对此问题，本课题研究以组合的方式对软件系统进行形式验证，以扩大验证规模、提高验证能力。课题针对Java构件的关键性质在设计层和实现层统筹进行验证，可有效提高软件设计与实现阶段的质量保障能力。主要研究内容包括：Java构件设计层的组合模型检验技术、Java构件实现层的组合模型检验技术，包括两个层次验证的衔接和有效集成，同时开发相应的组合模型检验工具。本课题的研究能显著提高面向对象软件关键性质的保障能力，能丰富和发展形式验证理论，因而具有广泛的应用价值和重要的科学意义。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
DOI：
--
发表时间：
--
期刊：
软件学报
影响因子：
--
作者：
[齐治昌, 张献, 董威]
通讯作者：
董威
DOI：
--
发表时间：
--
期刊：
计算机工程与科学
影响因子：
--
作者：
[陈立前, 王戟, 王昭飞, 侯苏宁]
通讯作者：
侯苏宁
DOI：
--
发表时间：
--
期刊：
计算机工程与科学
影响因子：
--
作者：
[陈振邦, 齐治昌, 王戟]
通讯作者：
王戟
DOI：
--
发表时间：
--
期刊：
软件学报
影响因子：
--
作者：
[隋平, 齐治昌, 董威, 赵常智]
通讯作者：
赵常智
DOI：
--
发表时间：
--
期刊：
计算机科学与探索
影响因子：
--
作者：
[文艳军, 吴学光, 王戟, 綦艳霞, 傅秀涛, 顾斌]
通讯作者：
顾斌
共 7 条
国内基金
海外基金