• 基于MDE的AADL构件组合建模及仿真途径研究

    基于MDE的AADL构件组合建模及仿真途径研究

    论文摘要软件体系结构是控制软件复杂度、提高软件质量的一种重要手段。近年来,随着模型驱动技术在软件开发中的普遍应用,越来越多的基于构件的可视化建模语言被提出,相应的系统构件模型也...
  • 构件的形式化描述及其组合研究

    构件的形式化描述及其组合研究

    论文摘要随着软件需求的不断增加,软件规模不断扩人、功能日趋复杂,传统的软件开发难以满足用户的需求,目前,基于构件的开发方法已经成为一个研究热点。通过构件的复用和组合来构建软件系...
  • Web应用的验证与测试方法研究

    Web应用的验证与测试方法研究

    论文摘要Internet的普及以及分布式计算、基于构件的开发和WebServices等技术的迅速发展和应用使Web应用渗透到国计民生的各个领域。Web应用的质量将直接影响人们的...
  • 模型驱动的构件化企业应用软件开发方法

    模型驱动的构件化企业应用软件开发方法

    论文摘要随着信息技术在现代企业的广泛应用,企业应用软件(EnterpriseSoftwareandApplication,ESA)的规模和复杂度日益增加,这给软件的开发效率和质...
  • 面向普适计算的自适应中间件模型与方法研究

    面向普适计算的自适应中间件模型与方法研究

    论文摘要随着信息技术的飞速发展,21世纪的计算模式正发生着深刻的变革。从分布式移动计算进入到无所不在的普适计算是计算发展的必然趋势。微小嵌入的智能设备、多类别用户和多种类智能空...