首页> 外文会议>International Conference on Software Maintenance >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.
机译:作者呈现梦想(数据逆向工程和抽象机制)方法,用于重组程序数据以满足更改的需求。重要的是,数据更改是正确的,以避免对程序操作的不期望的影响,并尽量减少维护中的努力。为了促进该程序,用于操纵代码的转换,允许维护者专注于重组策略,而无需担心变化的正确性。在论文中,检查了包含离散类型的程序的重组。这允许在常用数据类型的小子集中聚焦,以使解决方案的开发可行,并提供用于开发涵盖其他类型的通用方法的起点。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号