咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 计算机科学与技术...
    • 3 篇 软件工程

主题

  • 3 篇 软件演化操作语言
  • 2 篇 软件演化
  • 1 篇 谓词逻辑
  • 1 篇 结构化操作语义
  • 1 篇 带属性类型图
  • 1 篇 插件
  • 1 篇 编辑器
  • 1 篇 语义等价

机构

  • 3 篇 中南大学

作者

  • 3 篇 余莹
  • 2 篇 任胜兵
  • 1 篇 喻寿益
  • 1 篇 陈松乔
  • 1 篇 段成戈

语言

  • 3 篇 中文
检索条件"主题词=软件演化操作语言"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于逻辑的软件演化操作语言及结构化操作语义
收藏
分享
引用
小型微型计算机系统 2007年 第6期28卷 1031-1036页
作者： 任胜兵 喻寿益 陈松乔 余莹 中南大学信息科学与工程学院 湖南长沙410083
由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了S... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于Eclipse插件的软件演化操作语言编辑器设计
收藏
分享
引用
信息技术 2007年 第10期31卷 53-55,114页
作者： 余莹 任胜兵 段成戈 中南大学信息科学与工程学院 长沙410083
目前大多数软件演化操作的描述方法缺乏明确的语义,可扩展能力和描述能力较差。针对这些问题提出了一种结合谓词逻辑的软件演化操作语言SEOL(Software Evolution OperationalLanguage)。在Eclipse插件开发环境下,根据插件的开发机制,设... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于逻辑的软件演化执行引擎研究
基于逻辑的软件演化执行引擎研究
收藏
分享
引用
作者： 余莹 中南大学
学位级别：硕士
软件演化是指在软件系统的生命周期中软件维护和软件更新的动态行为。随着软件系统规模的不断扩大以及需求的不断变化,对软件模型演化能力的要求也越来越高。目前,软件模型的演化方法主要采用图形的方式来处理。这种描述方式比较复杂,... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件