云南高校图书馆联盟文献共享服务平台- J2EE规范

J2EE规范: 作品数：32被引量：56H指数：5; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：雷瑛陈琮董慧周鸿飞陈启泉更多>>; 相关机构：电子科技大学武汉大学山东大学四川大学更多>>; 相关期刊：《金融电子化》《计算机应用研究》《程序员》《电脑开发与应用》更多>>; 相关基金：国家高技术研究发展计划国家社会科学基金国家教育部“211”工程国家自然科学基金更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

基于模型检查实现J2EE规范的实例研究: 《计算机科学》2006年第12期249-254,共6页李彦张文博陈宁江; 973计划:网构软件中间件平台模型和框架研究(2002CB312005);863计划:网络环境的系统软件核心技术及运行平台(2001AA113010);863计划:面向新型ERP的可重配Web应用服务器的研究与应用(2003AA413010)。; J2EE规范描述了当前开发应用服务器和分布式多层应用所遵循的技术蓝本。然而,它所使用的自然或半自然语言描述方式并不严格,易产生二义性,会影响J2EE应用服务器实现的正确性和应用服务器之间的兼容性。针对这一问题,本文以EJB2.1规范中...; 关键词：J2EE规范模型检查 SPIN