Types and Concept Analysis for Legacy Systems

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 tools facilitates experiments with concept analysis, and lets reengineers employ their knowedge of the legacy system to refine the results of concept analysis. Keywords and Phrases: software maintenance, program understanding, program analysis, type inference, concept analysis.

• Type: Conference
• Year: 2000
• Where: IWPC
• Authors: Tobias Kuipers, Leon Moonen
• Keywords: Concept Analysis, IWPC 2000, Mathematical Concept Analysis, Software Engineering, Type Inference