Separating features in source code: an exploratory study
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Software product lines: practices and patterns
Software product lines: practices and patterns
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Easing the Transition to Software Mass Customization
PFE '01 Revised Papers from the 4th International Workshop on Software Product-Family Engineering
A Survey of Software Refactoring
IEEE Transactions on Software Engineering
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Refactoring a legacy component for reuse in a software product line: a case study: Practice Articles
Journal of Software Maintenance and Evolution: Research and Practice - IEEE International Conference on Software Maintenance (ICSM2005)
Feature oriented refactoring of legacy applications
Proceedings of the 28th international conference on Software engineering
View merging in the presence of incompleteness and inconsistency
Requirements Engineering
Matching and Merging of Statecharts Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
SPLC '07 Proceedings of the 11th International Software Product Line Conference
UML Model Refactoring with Emphasis on Behavior Preservation
TASE '08 Proceedings of the 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
Extending the reflexion method for consolidating software variants into product lines
Software Quality Control
Tag and prune: a pragmatic approach to software product line implementation
Proceedings of the IEEE/ACM international conference on Automated software engineering
A theory of software product line refinement
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Reverse engineering feature models
Proceedings of the 33rd International Conference on Software Engineering
Extraction of feature models from formal contexts
Proceedings of the 15th International Software Product Line Conference, Volume 2
Transforming Legacy Systems into Software Product Lines
SPLC '11 Proceedings of the 2011 15th International Software Product Line Conference
Usage scenarios for feature model synthesis
Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone
Quality of merge-refactorings for product lines
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
A framework for managing cloned product variants
Proceedings of the 2013 International Conference on Software Engineering
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Recovering traceability between features and code in product variants
Proceedings of the 17th International Software Product Line Conference
Hi-index | 0.00 |
We address the problem of refactoring existing, closely related products into product line representations. Our approach is based on comparing and matching artifacts of these existing products and merging those deemed similar while explicating those that vary. Our work focuses on formal specification of a product line refactoring operator called merge-in that puts individual products together into product lines. We state sufficient conditions of model compare, match and merge operators that allow application of merge-in. Based on these, we formally prove correctness of the merge-in operator. We also demonstrate its operation on a small but realistic example.