Formal Concept Analysis in Software Engineering
Proceedings of the 26th International Conference on Software Engineering
Chianti: a tool for change impact analysis of java programs
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
Finding failure-inducing changes in java programs using change classification
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Identifying Failure Causes in Java Programs: An Application of Change Impact Analysis
IEEE Transactions on Software Engineering
Combining Single-Version and Evolutionary Dependencies for Software-Change Prediction
MSR '07 Proceedings of the Fourth International Workshop on Mining Software Repositories
Hierarchical Clustering for Software Architecture Recovery
IEEE Transactions on Software Engineering
Empirical-based recovery and maintenance of input error-correction features
Journal of Software Maintenance and Evolution: Research and Practice
Grace: automated slicing for visual basic
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Generating complete set of implications for formal contexts
Knowledge-Based Systems
Visual Analytics for Requirements-driven Risk Assessment
REV '07 Proceedings of the Second International Workshop on Requirements Engineering Visualization
Locating dependence structures using search-based slicing
Information and Software Technology
Decomposition for Compositional Verification
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Proceedings of the 2nd India software engineering conference
Concept analysis for product line requirements
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Dependence clusters in source code
ACM Transactions on Programming Languages and Systems (TOPLAS)
Assessing the impact of global variables on program dependence and dependence clusters
Journal of Systems and Software
Automatic generation of abstract views for legacy software comprehension
Proceedings of the 3rd India software engineering conference
Analysis of early aspects in requirements goal models: a concept-driven approach
Transactions on aspect-oriented software development III
Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Software refactoring at the function level using new Adaptive K-Nearest Neighbor algorithm
Advances in Engineering Software
Using lattice of class and method dependence for change impact analysis of object oriented programs
Proceedings of the 2011 ACM Symposium on Applied Computing
Discovering Multidimensional Correlations among Regulatory Requirements to Understand Risk
ACM Transactions on Software Engineering and Methodology (TOSEM)
Identification of extract method refactoring opportunities for the decomposition of methods
Journal of Systems and Software
Information Sciences: an International Journal
Firewall policy change-impact analysis
ACM Transactions on Internet Technology (TOIT)
Closed-Label concept lattice based rule extraction approach
ICIC'11 Proceedings of the 7th international conference on Intelligent Computing: bio-inspired computing and applications
Using Formal Concept Analysis to support change analysis
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Code patterns for automatically validating requirements-to-code traces
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Concept location using formal concept analysis and information retrieval
ACM Transactions on Software Engineering and Methodology (TOSEM)
Combining concept lattice with call graph for impact analysis
Advances in Engineering Software
Computing Formal Concepts by Attribute Sorting
Fundamenta Informaticae - Concept Lattices and Their Applications
Efficient Identification of Linchpin Vertices in Dependence Clusters
ACM Transactions on Programming Languages and Systems (TOPLAS)
Coherent clusters in source code
Journal of Systems and Software
Granularity of attributes in formal concept analysis
Information Sciences: an International Journal
A novel cognitive system model and approach to transformation of information granules
International Journal of Approximate Reasoning
Hi-index | 0.00 |
Decomposition slice graph and concept lattice are two program representations used to abstract the details of the code into a higher-level view of the program. The decomposition slice graph partitions the program into computations performed on different variables and shows the dependence relation between computations, holding when a computation needs another computation as a building block. The concept lattice groups program entities which share common attributes and organize such groupings into a hierarchy of concepts, which are related through generalizations/specializations. This paper investigates the relationship existing between these two program representations. The main result of this paper is a novel program representation, called concept lattice of decomposition slices, which is shown to be an extension of the decomposition slice graph, and is obtained by means of concept analysis, with additional nodes associated to weak interferences between computations, i.e., shared statements which are not decomposition slices. The concept lattice of decomposition slices can be used in support to software maintenance by providing relevant information about the computations performed by a program and the related dependences/interferences, as well as by representing a natural data structure on which to conduct impact analysis. Preliminary results on small to medium size code support the applicability of this method at the intraprocedural level or when investigating the dependences among small groups of procedures.