导读:本文包含了软件演化操作语言论文开题报告文献综述及选题提纲参考文献，主要关键词:软件演化操作语言,编辑器,插件
软件演化操作语言论文文献综述
余莹,任胜兵,段成戈[1]（2007）在《基于Eclipse插件的软件演化操作语言编辑器设计》一文中研究指出目前大多数软件演化操作的描述方法缺乏明确的语义,可扩展能力和描述能力较差。针对这些问题提出了一种结合谓词逻辑的软件演化操作语言SEOL(Software Evolution OperationalLanguage)。在Eclipse插件开发环境下,根据插件的开发机制,设计并实现软件演化操作的编辑器。该编辑器具有一定的语法检查功能,为演化操作分析和运行的实现打下基础。(本文来源于《信息技术》期刊2007年10期）
任胜兵,喻寿益,陈松乔,余莹[2]（2007）在《基于逻辑的软件演化操作语言及结构化操作语义》一文中研究指出由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了SEOL的语法和结构化操作语义描述,并指出了软件演化操作语义等价分析方法.结合软件代码演化和软件模型演化实例,说明了SEOL的应用.与已有的软件演化操作描述相比,SEOL在易用性、可重用性和形式化分析方面有明显的改善,为软件演化的管理、分析和实施奠定了基础.(本文来源于《小型微型计算机系统》期刊2007年06期）
软件演化操作语言论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了SEOL的语法和结构化操作语义描述,并指出了软件演化操作语义等价分析方法.结合软件代码演化和软件模型演化实例,说明了SEOL的应用.与已有的软件演化操作描述相比,SEOL在易用性、可重用性和形式化分析方面有明显的改善,为软件演化的管理、分析和实施奠定了基础.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
软件演化操作语言论文参考文献
[1].余莹,任胜兵,段成戈.基于Eclipse插件的软件演化操作语言编辑器设计[J].信息技术.2007
[2].任胜兵,喻寿益,陈松乔,余莹.基于逻辑的软件演化操作语言及结构化操作语义[J].小型微型计算机系统.2007