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. This paper presents a broader overview by describing and classifying academic papers that report the application of FCA to software engineering. The papers are classified using a framework based on the activities defined in the ISO12207 Software Engineering standard. Two alternate classification schemes based on the programming language under analysis and target application size are also discussed. In addition, the authors work to support agile methods and formal specification via FCA is introduced. 1
|
993
|
The Z notation: a reference manual
– Spivey
- 1992
|
|
732
|
Refactoring–improving the design of existing code
– Fowler
- 1999
|
|
675
|
Extreme Programming Explained, Embrace Change, Addison-Wesley Professional; 1st edition
– Beck
- 2000
|
|
638
|
A Spiral Model of Software Development and Enhancement
– Boehm
- 1988
|
|
426
|
Formal Concept Analysis: Mathematical Foundations
– Ganter, Wille
- 1999
|
|
123
|
Managing the Development of Large Software Systems
– Royce
- 1970
|
|
98
|
Assessing modular structure of legacy code based on mathematical concept analysis
– Lindig, Snelting
- 1997
|
|
92
|
Reengineering class hierarchies using concept analysis
– Snelting, Tip
- 1998
|
|
85
|
Identifying modules via concept analysis
– Siff, Reps
- 1997
|
|
74
|
Locating features in source code
– Eisenbarth, Koschke, et al.
|
|
73
|
The Concept of Dynamic Analysis
– Ball
- 1999
|
|
70
|
Standard Glossary of Software Engineering Terminology
– IEEE
- 1990
|
|
68
|
Identifying objects using cluster and concept analysis, in
– Deursen, Kuipers
- 1999
|
|
66
|
Building and maintaining analysis-level class hierarchies using galois lattices
– Godin, Mili
- 1993
|
|
52
|
Snelting: On the Inference of Configuration Structures from Source Code
– Krone, G
|
|
38
|
An introduction to Z and formal specifications
– Spivey
- 1989
|
|
36
|
The dimensions of maintenance
– Swanson
- 1976
|
|
35
|
Reengineering of Configurations Based on Mathematical Concept Analysis
– Snelting
- 1996
|
|
29
|
Debugging temporal specifications with concept analysis
– Ammons, Mandelin, et al.
- 2003
|
|
28
|
Specification-based browsing of software component libraries
– Fischer
- 1998
|
|
27
|
Concept-based component retrieval
– Lindig
- 1995
|
|
25
|
Aiding program comprehension by static and dynamic feature analysis
– Eisenbarth, Koschke, et al.
- 2001
|
|
25
|
Applying Concept Formation Methods To Object Identification
– Sahraoui, Melo, et al.
- 1997
|
|
25
|
Concept analysis — a new framework for program understanding
– Snelting
- 1998
|
|
25
|
Understanding class hierarchies using concept analysis
– Snelting, Tip
- 2000
|
|
24
|
Concept analysis for module restructuring
– Tonella
- 2001
|
|
22
|
Types and concept analysis for legacy systems
– Kuipers, Moonen
- 2000
|
|
21
|
Design of class hierarchies based on concept (galois) lattices. Theory and Application of Object Systems
– Godin, Mili, et al.
- 1998
|
|
20
|
Merging Inheritance Hierarchies for Database Integration
– Schmitt, Saake
- 1998
|
|
20
|
Software reengineering based on concept lattices
– Snelting
- 2000
|
|
16
|
Formal concept analysis with ConImp: Introduction to the basic features
– Burmeister
- 1996
|
|
16
|
Browsing semi-structured web texts using formal concept analysis
– Cole, Eklund
- 2001
|
|
15
|
Combining formal concept analysis and ripple down rules to support reuse
– Richards, Compton
- 1997
|
|
13
|
Feature-driven program understanding using concept analysis of execution traces
– Eisenbarth, Kosche, et al.
- 2001
|
|
12
|
A case study of applying an eclectic approach to identify objects in code
– Canfora, Cimitile, et al.
- 1999
|
|
11
|
H.: Object-Z Web Environment and Projections to UML
– Sun, Dong, et al.
- 2001
|
|
11
|
R.: Toscana-systems based on thesauri
– Groh, Strahinger, et al.
- 1998
|
|
10
|
Applications of concept lattices to code inspection and review
– Dekel
- 2002
|
|
10
|
Applying Concept Formation Methods to Software Reuse
– Godin, Mineau, et al.
- 1995
|
|
8
|
When concepts point at other concepts: the case of uml diagram reconstruction
– Huchard, Roume, et al.
- 2002
|
|
8
|
O.: A Controlled Language to Assist Conversion of Use Case Descriptions into Concept Lattices
– Richards, Boettger, et al.
- 2002
|
|
7
|
The ToscanaJ suite for implementing Conceptual Information Systems
– Becker, Hereth
- 2004
|
|
7
|
Bridging the gap between use case analysis and class structure design by formal concept analysis
– Düwel, Hesse
- 2000
|
|
7
|
Algorithms for concept lattice decomposition and their applications
– Funk, Lewien, et al.
- 1995
|
|
7
|
Ein Toscana-Erkundungssystem zur Literatursuche
– Rock, Wille
- 2000
|
|
6
|
International Standard. Information technology - Software life cycle processes, International Organisation for Standardisation
– ISOIEC
- 1995
|
|
5
|
Diskursive Anforderungsanalyse. Ein Beitrag zum Reduktionsproblem bei Systementwicklungen in der Informatik
– Andelfinger
- 1997
|
|
5
|
Reconciling Use Cases via Controlled Language and Graphical Models, The
– Boettger, Schwitter, et al.
- 2001
|
|
5
|
Object-oriented design pattern inference
– Tonella, Antoniol
- 1999
|
|
4
|
Adding a class and REStructuring Inheritance Hierarchies. 11 i`emes journ'ees Bases de Donn'ees Avanc'ees
– ARES
- 1995
|
