Abstract Formal Concept Analysis (FCA) has typically been applied in the field of software
engineering to support software maintenance and object-oriented class identification tasks …

The decomposition slice graph and concept lattice are two program representations used to
abstract the details of code into a higher-level view of the program. The decomposition slice …

The presence of crosscutting concerns, ie, functionalities that are not assigned to a single
modular unit in the implementation, is one of the major problems in software understanding …

During software evolution, programmers devote most of their effort to the understanding of
the structure and behavior of the system. For Object-Oriented code, this might be particularly …

Formalization of human thinking helps in fostering the process of learning by giving an
explicit representation to human thoughts. Formal Concept Analysis (FCA) finds it's core …

Refactoring is the process of applying behavior-preserving transformations (called"
refactorings") in order to improve a program's design. Associated with a refactoring is a set of …

Fixpoints of Galois connections induced by object-attribute data tables represent important
patterns that can be found in relational data. Such patterns are used in several data mining …

As software organisations mature, their repositories of reusable software components from
previous projects will also grow considerably. Remaining conversant with all components in …

This paper presents an application of linguistic hedges to formal concept analysis of data
with fuzzy attributes. Formal concept analysis aims at extraction of particular (bi-) clusters …

Type constraints express subtype relationships between the types of program expressions,
for example, those relationships that are required for type correctness. Type constraints were …