Sciweavers

11 search results - page 1 / 3
» fca 2005
Sort
View
FCA
2005
Springer
201views Formal Methods» more  FCA 2005»
14 years 4 months ago
A Survey of Formal Concept Analysis Support for Software Engineering Activities
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
Thomas Tilley, Richard Cole, Peter Becker 0002, Pe...
FCA
2005
Springer
135views Formal Methods» more  FCA 2005»
14 years 4 months ago
Concept Lattices in Software Analysis
About ten years ago, the first serious applications of concept lattices in software analysis were published. Today, a wide range of applications of concept lattices in static and...
Gregor Snelting
FCA
2005
Springer
207views Formal Methods» more  FCA 2005»
14 years 4 months ago
From Formal Concept Analysis to Contextual Logic
Abstract. A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathem...
Frithjof Dau, Julia Klinger
ICCS
2005
Springer
14 years 4 months ago
Morphisms in Context
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zh...