1994 · 12 citations · 8 references
ComputingComputer ScienceData StructuresProgramming LanguagesSoftware EngineeringData TransformationData-flow AnalysisReverse EngineeringSoftware ConstructionSoftware DesignSoftware MaintenanceData-intensive ComputingProgram TransformationSoftware Reverse EngineeringTransformations
The paper, following the theme set out in a previous paper by K.H. Bennett et al. (see ibid., 1992) provides more results of the research programme on reverse engineering. It concentrates on dealing with data-intensive programs such as those written in COBOL. The problems with data-intensive programs are addressed, our solutions to these problems are discussed, a prototype built on our approach is described and the results of the experiments are presented. It is concluded that formal transformations provide a way of combining design decisions which have become instantiated in both the code and the data structures.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
8
An introduction to database systems
Ben Shneiderman · Information Processing & Management · 1976 · 1K citations
Proving program refinements and transformations
Martin Ward · 1986 · 82 citations