Merging Cloned Alloy Models with Colorful Refactorings

[1]  Marsha Chechik,et al.  Combining Related Products into Product Lines , 2012, FASE.

[2]  Thomas Baar,et al.  Refactoring OCL annotated UML class diagrams , 2005, MoDELS'05.

[3]  Sven Apel,et al.  Granularity in software product lines , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[4]  Paulo Borba,et al.  Automatically Checking Feature Model Refactorings , 2011, J. Univers. Comput. Sci..

[5]  Charles W. Krueger,et al.  Easing the Transition to Software Mass Customization , 2001, PFE.

[6]  Carlos José Pereira de Lucena,et al.  Refactoring product lines , 2006, GPCE '06.

[7]  Alexander Egyed,et al.  Variability extraction and modeling for product variants , 2016, Software & Systems Modeling.

[8]  Sandro Schulze,et al.  Recovering variability information from source code of clone-and-own software systems , 2020, VaMoS.

[9]  Rainer Koschke,et al.  Extending the reflexion method for consolidating software variants into product lines , 2007, 14th Working Conference on Reverse Engineering (WCRE 2007).

[10]  Marco Tulio Valente,et al.  A Semi-Automatic Approach for Extracting Software Product Lines , 2012, IEEE Transactions on Software Engineering.

[11]  Jafar Habibi,et al.  Automating feature model refactoring: A Model transformation approach , 2016, Inf. Softw. Technol..

[12]  Anil Kumar Thurimella,et al.  Collaboration and source code driven bottom-up product line engineering , 2012, SPLC '12.

[13]  Marsha Chechik,et al.  N-way model merging , 2013, ESEC/FSE 2013.

[14]  Sven Apel,et al.  Refactoring Feature Modules , 2009, ICSR.

[15]  William F. Opdyke,et al.  Refactoring object-oriented frameworks , 1992 .

[16]  Paulo Borba,et al.  Refactoring Alloy Specifications , 2004, Electron. Notes Theor. Comput. Sci..

[17]  Sven Apel,et al.  Detecting Dependences and Interactions in Feature-Oriented Design , 2010, 2010 IEEE 21st International Symposium on Software Reliability Engineering.

[18]  Eduardo Santana de Almeida,et al.  Recovering the product line architecture of the apo-games , 2018, SPLC.

[19]  Gunter Saake,et al.  Variant-preserving refactoring in feature-oriented software product lines , 2012, VaMoS.

[20]  Martin Fowler,et al.  Refactoring - Improving the Design of Existing Code , 1999, Addison Wesley object technology series.

[21]  Roozbeh Farahbod,et al.  Refactoring Abstract State Machine Models , 2012, ABZ.

[22]  Gunter Saake,et al.  Variant-preserving refactorings for migrating cloned products to a product line , 2017, 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER).

[23]  Krzysztof Czarnecki,et al.  Verifying feature-based model templates against well-formedness OCL constraints , 2006, GPCE '06.

[24]  Gunter Saake,et al.  Feature-Oriented Software Product Lines , 2013, Springer Berlin Heidelberg.

[25]  Alexander Egyed,et al.  Reengineering legacy applications into software product lines: a systematic mapping , 2017, Empirical Software Engineering.

[26]  Pierre-Yves Schobbens,et al.  Model checking software product lines with SNIP , 2012, International Journal on Software Tools for Technology Transfer.

[27]  Sven Apel,et al.  Morpheus: Variability-Aware Refactoring in the Wild , 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.

[28]  Thai Son Hoang,et al.  Rodin: an open toolset for modelling and reasoning in Event-B , 2010, International Journal on Software Tools for Technology Transfer.

[29]  Chong Liu,et al.  Simplifying the Analysis of Software Design Variants with a Colorful Alloy , 2019, SETTA.

[30]  Sandro Schulze,et al.  Refactoring delta-oriented software product lines , 2013, Software Engineering & Management.

[31]  Susan Stepney,et al.  Refactoring in maintenance and development of Z specifications , 2002, Electron. Notes Theor. Comput. Sci..

[32]  Graeme Smith,et al.  A Minimal Set of Refactoring Rules for Object-Z , 2008, FMOODS.

[33]  Paulo Borba,et al.  A theory of software product line refinement , 2012, Theor. Comput. Sci..

[34]  Christoph Seidl,et al.  Program Dependency Analysis for Consolidating Customized Product Copies , 2014, 2014 IEEE International Conference on Software Maintenance and Evolution.

[35]  Krzysztof Czarnecki,et al.  Feature Diagrams and Logics: There and Back Again , 2007 .

[36]  Allaoua Chaoui,et al.  A Pairwise Approach for Model Merging , 2016 .

[37]  Mark Ryan,et al.  Feature integration using a feature construct , 2001, Sci. Comput. Program..