A survey of formal concept analysis support for software engineering activities
Formal Concept Analysis
Navigation spaces for the conceptual analysis of software structure
ICFCA'05 Proceedings of the Third international conference on Formal Concept Analysis
Hi-index | 0.00 |
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.