• 一种基于OCL的约束验证框架

    一种基于OCL的约束验证框架

    论文摘要对象约束语言OCL的出现,为精确化模型奠定了基础。而随着模型在软件开发中的地位越来越重要,如何对施加在模型上的OCL约束进行验证从而提高模型的准确性,保证模型的一致性工...
  • SmartSAR RTE ——基于AUTOSAR的汽车电子软件运行时环境及其生成

    SmartSAR RTE ——基于AUTOSAR的汽车电子软件运行时环境及其生成

    论文摘要近年来,市场对汽车电子功能的需求开始变得愈发强烈,使得汽车制造商不得不依赖于全行业统一的标准化体系,以及通用性、互换性更强的软件来降低软件的复杂度。汽车开放体系架构(A...
  • 基于ASP.NET Web应用的代码生成技术的研究与实现

    基于ASP.NET Web应用的代码生成技术的研究与实现

    论文摘要随着信息化的普及和Web技术的发展,Web应用在企业信息化建设和人们的日常生活中占据着重要的地位,Web应用开发也吸引着越来越多的软件开发人员。在众多Web开发技术中,...
  • 基于MDA的UML状态机代码生成技术研究与实现

    基于MDA的UML状态机代码生成技术研究与实现

    论文摘要随着面向对象软件开发方法的广泛应用,模型驱动架构(MDA,ModelingDrivenArchitecture)以模型、模型转换为核心组织整个系统的开发过程,成为软件设...
  • 层次化建模中状态图建模技术的研究与实现

    层次化建模中状态图建模技术的研究与实现

    论文摘要随着嵌入式技术的高速发展,软件开发的规模也日益扩大,其开发成本也随着软件开发的周期增长而越来越高。为了提高软件开发效率,只有在开发过程中采用创新的方法。为应对新的需求和...
  • AADL在模型驱动中的应用研究

    AADL在模型驱动中的应用研究

    论文摘要AADL(ArchitectureAnalysis&DesignLanguage);是一种字符化和图形化的语言,主要用于对嵌入式系统进行建模。MDA(ModelDriv...
  • 基于MCU嵌入式系统的构件化开发模式研究

    基于MCU嵌入式系统的构件化开发模式研究

    论文摘要软件重用是运用现存的软件或知识构造新系统,从而避免重复劳动的解决方案。它被视为解决软件危机、提高软件生产效率和质量的现实可行的途径。软件重用的核心之一是构件技术。构件技...
  • 轻量级工作流管理系统生成平台的设计与实现

    轻量级工作流管理系统生成平台的设计与实现

    论文摘要为了满足软件工业化生产的需要,缩短应用系统的开发周期,克服传统工作流管理系统重构和复用困难等问题,本文提出了基于关系数据库的轻量级工作流管理系统自动生成的技术方案。本方...
  • 面向石材异型制品的CAD/CAM一体化数控系统研究与开发

    面向石材异型制品的CAD/CAM一体化数控系统研究与开发

    论文摘要根据石材异型制品加工设备的实际需要,结合当前数控技术发展现状和趋势,开发出了一套面向石材异型制品加工设备的经济型数控系统。该系统的开发采用模块化的设计思路和全软件化的设...
  • 模型驱动的构件代码生成工具的研究与实现

    模型驱动的构件代码生成工具的研究与实现

    论文摘要基于构件的开发和模型驱动的开发都是近年来软件工程领域中的热点。构件开发旨在通过标准化软件系统的组成元素,以构件为单位构造系统。模型驱动旨在通过提高软件的抽象层次,将软件...
  • 基于SSH框架多层结构的代码生成工具的设计与实现

    基于SSH框架多层结构的代码生成工具的设计与实现

    论文摘要为了解决基于SSH(StrutsSpringHibernate)框架的办公自动化系统的快速开发问题,本文结合DOM、模板引擎及Eclipse插件技术,采用面向对象的方法...
  • 车辆半主动悬架模糊PID控制仿真及试验研究

    车辆半主动悬架模糊PID控制仿真及试验研究

    论文摘要随着国民经济飞速发展、高速公路网全面建设以及生活水平极大提高,汽车逐渐融入到人们工作生活之中,成为不可或缺的交通工具,人们对汽车的行驶平顺性和安全性提出更高的要求。悬架...
  • 支持WEB用户界面自动生成的三种界面设计模式

    支持WEB用户界面自动生成的三种界面设计模式

    论文摘要近十年来,界面设计和系统功能设计相分离成为界面设计的主流思想,界面代码根据界面描述模型来自动生成已成为开发人员的目标。为提高图形用户界面的开发效率和质量,许多界面模型被...
  • 基于MVC的测试驱动开发研究

    基于MVC的测试驱动开发研究

    论文摘要测试驱动开发是极限编成的最佳实践之一,采用测试驱动开发,可以获得简单、清晰、高质量的代码,近几年来受到软件开发人员的推崇。KentBeck作为极限编程的创始人,提出了测...
  • 铁路大型客运站行车调度数据管理系统

    铁路大型客运站行车调度数据管理系统

    论文摘要随着我国铁路现代化建设步伐的加快,为全面推行铁路信息化建设,充分利用计算机技术所带来的信息共享优势,建立铁路大型客运站行车调度数据管理系统已经迫在眉睫。本文在对Smar...
  • 并行化编译器中并行程序自动生成和性能优化技术研究

    并行化编译器中并行程序自动生成和性能优化技术研究

    论文摘要高性能计算机的广泛应用使得人们对高效并行软件的需求急剧增加。面对庞大、复杂且对时效性要求极高的计算任务,如何充分利用高性能计算机的软、硬件资源,加速计算任务的快速完成;...
  • 基于WEB应用框架的平台相关模型及其映射规则

    基于WEB应用框架的平台相关模型及其映射规则

    论文摘要随着对WEB应用开发效率及质量要求的不断提高,开发工作的难度不断增加。在WEB应用开发过程中存在很多直接影响开发的因素,主要包括开发平台及技术灵活多样,导航关系复杂,而...
  • 代码生成技术研究及其在电信增值业务中的应用

    代码生成技术研究及其在电信增值业务中的应用

    论文题目:代码生成技术研究及其在电信增值业务中的应用论文类型:硕士论文论文专业:计算机软件与理论作者:张腾导师:王时龙关键词:代码生成,增值业务,状态机文献来源:重庆大学发表年...