Sciweavers

3212 search results - page 13 / 643
» Faster Concept Analysis
Sort
View
FCA
2005
Springer
135views Formal Methods» more  FCA 2005»
14 years 3 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
ICSE
1997
IEEE-ACM
14 years 2 months ago
Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis
We apply mathematical concept analysis in order to modularize legacy code. By analysing the relation between procedures and global variables, a so-called concept lattice is constr...
Christian Lindig, Gregor Snelting
ICSM
1997
IEEE
14 years 2 months ago
Identifying modules via concept analysis
ÐWe describe a general technique for identifying modules in legacy code. The method is based on concept analysisÐa branch of lattice theory that can be used to identify similarit...
Michael Siff, Thomas W. Reps
PPPJ
2006
ACM
14 years 3 months ago
Dynamic analysis of program concepts in Java
Concept assignment identifies units of source code that are functionally related, even if this is not apparent from a syntactic point of view. Until now, the results of concept a...
Jeremy Singer, Chris C. Kirkham
FCA
2005
Springer
207views Formal Methods» more  FCA 2005»
14 years 3 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