[00849460]可信网络软件的验证与测试
联系人：
所在地：
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
登录后向技术服务商咨询
发布技术需求
服务免费，交易还可领红包哦
技术详细介绍
课题组按照课题的研究范围和研究内容进行研究，在网络软件的建模、需求建模及模型变换、Web服务的建模与集成以及验证、基于模型的Web应用建模与测试等问题的理论、方法、实现技术等方面取得了显著进展和丰硕成果，开发了相应的工具。在国际期刊、国内核心期刊和国际学术会议上发表论文27篇，其中被SCI检索1篇，EI检索21篇(SCI待检索1篇，EI待检索1篇)；申请专利2项，获得软件著作权1个。培养博士研究生6名，硕士研究生12名。