Software Engineering Journal - Controlling software projects
An introduction to Z and formal specifications
Software Engineering Journal - Special Section on Z
Building and maintaining analysis-level class hierarchies using Galois Lattices
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Reengineering of configurations based on mathematical concept analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Assessing modular structure of legacy code based on mathematical concept analysis
ICSE '97 Proceedings of the 19th international conference on Software engineering
On the inference of configuration structures from source code
ICSE '94 Proceedings of the 16th international conference on Software engineering
Concept analysis—a new framework for program understanding
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Reengineering class hierarchies using concept analysis
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Design of class hierarchies based on concept (Galois) lattices
Theory and Practice of Object Systems - Special issue high availability in CORBA
Identifying objects using cluster and concept analysis
Proceedings of the 21st international conference on Software engineering
Refactoring: improving the design of existing code
Refactoring: improving the design of existing code
Extreme programming explained: embrace change
Extreme programming explained: embrace change
The concept of dynamic analysis
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Reverse engineering of use case realizations in UML
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Understanding class hierarchies using concept analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-Z web environment and projections to UML
Proceedings of the 10th international conference on World Wide Web
Concept Analysis for Module Restructuring
IEEE Transactions on Software Engineering
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Locating Features in Source Code
IEEE Transactions on Software Engineering
Identifying modules via concept analysis
ICSM '97 Proceedings of the International Conference on Software Maintenance
A Controlled Language to Assist Conversion of Use Case Descriptions into Concept Lattices
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Merging Inheritance Hierarchies for Database Integration
COOPIS '98 Proceedings of the 3rd IFCIS International Conference on Cooperative Information Systems
An Environment for Building and Maintaining Class Hierarchies
Proceedings of the Workshop on Object-Oriented Technology
Debugging temporal specifications with concept analysis
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Applying concept formation methods to object identification in procedural code
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Specification-based Browsing of Software Component Libraries
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Software Reengineering Based on Concept Lattices
CSMR '00 Proceedings of the Conference on Software Maintenance and Reengineering
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Aiding Program Comprehension by Static and Dynamic Feature Analysis
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Object Oriented Design Pattern Inference
ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance
A Case Study of Applying an Eclectic Approach to Identify Objects in Code
IWPC '99 Proceedings of the 7th International Workshop on Program Comprehension
Types and concept analysis for legacy systems
Types and concept analysis for legacy systems
Feature-Driven Program Understanding Using Concept Analysis of Execution Traces
IWPC '01 Proceedings of the 9th International Workshop on Program Comprehension
Conceptual Graphs as Cooperative Formalism to Build and Validate a Domain Expertise
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
An incremental algorithm to construct a lattice of set intersections
Science of Computer Programming
Concept analysis for product line requirements
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Journal of Software Maintenance and Evolution: Research and Practice - Special Issue on the 12th Conference on Software Maintenance and Reengineering (CSMR 2008)
Using Formal Concept Analysis towards Cooperative E-Learning
Knowledge Acquisition: Approaches, Algorithms and Applications
Normalized-scale Relations and Their Concept Lattices in Relational Databases
Fundamenta Informaticae
Formal concept analysis enhances fault localization in software
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
Analysis of early aspects in requirements goal models: a concept-driven approach
Transactions on aspect-oriented software development III
Backing composite web services using formal concept analysis
ICFCA'11 Proceedings of the 9th international conference on Formal concept analysis
An iterative requirements engineering framework based on Formal Concept Analysis and C-K theory
Expert Systems with Applications: An International Journal
Normalized-scale Relations and Their Concept Lattices in Relational Databases
Fundamenta Informaticae
Publication analysis of the formal concept analysis community
ICFCA'12 Proceedings of the 10th international conference on Formal Concept Analysis
Fixing Generalization Defects in UML Use Case Diagrams
Fundamenta Informaticae - Concept Lattices and Their Applications
Hi-index | 0.00 |
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.