Title :
Types and concept analysis for legacy systems
Author :
Kuipers, Tobias ; Moonen, Leon
Author_Institution :
CWI, Amsterdam, Netherlands
Abstract :
We combine type inference and concept analysis in order to gain insight into legacy software systems. Type inference for COBOL yields the types for variables and program parameters. These types are used to perform mathematical concept analysis on legacy systems. We have developed ConceptRefinery, a tool for interactively manipulating concepts. We show how this tool facilitates experiments with concept analysis, and lets reengineers employ their knowledge of the legacy system to refine the results of concept analysis
Keywords :
interactive systems; reverse engineering; software maintenance; software tools; systems re-engineering; type theory; COBOL; ConceptRefinery; concept analysis; interactive concept manipulation; legacy software systems; legacy system; mathematical concept analysis; program parameters; program understanding; reengineers; software maintenance; type inference; Application software; Data structures; Databases; Electrical capacitance tomography; Information analysis; Lattices; Loans and mortgages; Performance analysis; Software quality; Software tools;
Conference_Titel :
Program Comprehension, 2000. Proceedings. IWPC 2000. 8th International Workshop on
Conference_Location :
Limerick
Print_ISBN :
0-7695-0656-9
DOI :
10.1109/WPC.2000.852496
