首页> 外文会议> >Maintenance and abstraction of program data using formal transformations
【24h】

Maintenance and abstraction of program data using formal transformations

机译:使用形式转换来维护和抽象程序数据

获取原文

摘要

The authors present the DREAM (Data Reverse Engineering and Abstraction Mechanism) method for restructuring program data to meet the changing demands upon it. It is important that data changes are made correctly to avoid undesirable effects on the operation of the program and to minimise effort in maintenance. To facilitate this program transformations are used to manipulate the code, allowing the maintainer to concentrate upon the restructuring strategy without having to worry about the correctness of changes. Restructuring of programs containing discrete types is examined within the paper. This allows work to be focussed upon a small subset of commonly available data types to make development of solutions feasible and to provide a starting point for the development of a generic method which covers other types.
机译:作者提出了DREAM(数据逆向工程和抽象机制)方法,用于重组程序数据,以满足对其不断变化的需求。重要的是正确进行数据更改,以避免对程序运行产生不良影响,并最大程度地减少维护工作。为了便于执行该程序,使用了转换来操纵代码,从而使维护人员可以专注于重组策略,而不必担心更改的正确性。本文对包含离散类型的程序的重组进行了研究。这使得工作可以集中在一小部分常用数据类型上,以使解决方案的开发变得可行,并为开发涵盖其他类型的通用方法提供起点。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号