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 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.

• Type: Conference
• Year: 2005
• Where: FCA
• Authors: Thomas Tilley, Richard Cole, Peter Becker 0002, Peter W. Eklund
• Keywords: FCA 2005, Formal Concept Analysis, Formal Methods, Software Engineering, Software Engineering Standard