Sciweavers

WCRE
1993
IEEE

A Practical Program Transformation System for Reverse Engineering

13 years 7 months ago
A Practical Program Transformation System for Reverse Engineering
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program is correct by construction. In this paper we describe a tool called ReForm which is designed to address the inverse problem to support the extraction of a speci cation from existing program code, using transformations. This is an important activity during software maintenance. One of the problems of transformation systems is the scarcity of practical tools which can address industrial scale problems, rather than contrived laboratory toy problems. The main contribution of this paper is an analysis of the important software engineering factors that contribute to a successful transformation based tool. Results from using the tool are also presented. 1 Background Four separate surveys carried out between 1977 and 1990 7,11,14,18] and summarised in 6], show that between 40% and 60% of all commercialsoftware e ort...
M. Ward, K. Bennett
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1993
Where WCRE
Authors M. Ward, K. Bennett
Comments (0)