Shohreh Ajoudanian & Seyed-Hassan Mirian Hosseinabadi (2015):
Automatic promotional specialization, generalization and analysis of extended feature models with cardinalities in Alloy.
Journal of Logical and Algebraic Methods in Programming 84(5),
pp. 640 – 667,
doi:10.1016/j.jlamp.2014.11.005.
Mauricio Alférez, Roberto E. Lopez-Herrejón, Ana Moreira, Vasco Amaral & Alexander Egyed (2014):
Consistency Checking in Early Software Product Line Specifications - The VCC Approach.
Journal of Universal Computer Science 20(5),
pp. 640–665,
doi:10.3217/jucs-020-05-0640.
Don Batory, David Benavides & Antonio Ruiz-Cortes (2006):
Automated Analysis of Feature Models: Challenges Ahead.
Commun. ACM 49(12),
pp. 45–47,
doi:10.1145/1183236.1183264.
David Benavides, Sergio Segura & Antonio Ruiz-Cortés (2010):
Automated analysis of feature models 20 years later: A literature review.
Information Systems 35(6),
pp. 615 – 636,
doi:10.1016/j.is.2010.01.001.
Daniel Le Berre (2010):
SAT4J solver.
Technical Report.
Chalmers University of Technology, Sweden.
Available at http://www.sat4j.org.
Afredo Capozucca, Betty H. C. Cheng, Geri Georg, Nicolas Guelfi, Paul Istoan, Gunter Mussbacher, Sai Pradeep Mandalaparty & Ana Moreira (2012):
Requirements Definition Document for a Software Product Line of Car Crash Management Systems.
Technical Report.
University of Nice Sophia Antipolis, I3S CNRS,
Berlin, Heidelberg,
doi:10.1007/978-3-642-16086-8.
Jaime Alberto Chavarriaga Lozano, Carlos Francisco Noguera Garcia, Viviane Jonckers & Rubby Casallas (2013):
Supporting Multi-level Configuration with Feature-Solution Graphs – Formal Semantics and Alloy Implementation.
Technical Report, Software Language Lab, Berlin.
David Dietrich, Pourya Shaker, Joanne M. Atlee, Derek Rayside & Jan Gorzny (2012):
Feature Interaction Analysis of the Feature-oriented Requirements-modelling Language Using Alloy.
In: Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation,
MoDeVVa '12.
ACM,
pp. 17–22,
doi:10.1145/2427376.2427380.
Amador Durán, David Benavides, Sergio Segura, Pablo Trinidad & Antonio Ruiz-Cortés (2015):
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing.
Journal Software and Systems Modeling,
pp. 1–34,
doi:10.1007/s10270-015-0503-z.
Raphael Finkel & Barry O'Sullivan (2011):
Reasoning about conditional constraint specification problems and feature models.
Artificial Intelligence for Engineering Design, Analysis and Manufacturing 25,
pp. 163–174,
doi:10.1017/S0890060410000600.
Rohit Gheyi, Tiago Massoni & Paulo Borba (2006):
A Theory for Feature Models in Alloy.
In: Proceedings of the ACM SIGSOFY First Alloy Workshop.
Citeseer,
Portland, United States,
pp. 7180,
doi:10.1.1.295.4053.
Changyun Huang, Yasutaka Kamei, Kazuhiro Yamashita & Naoyasu Ubayashi (2013):
Using Alloy to support feature-based DSL construction for mining software repositories.
SPLC '13,
pp. 86,
doi:10.1145/2499777.2500714.
Daniel Jackson (2006):
Software Abstractions: Logic, Language, and Analysis.
The MIT Press.
Kyo Kang, Sholom Cohen, James Hess, William Novak & A. Peterson (1990):
Feature-oriented domain analysis (FODA) feasibility study.
Technical Report.
Software Engineering Institute, Carnegie Mellon University.
Christian Kästner, Thomas Thüm, Gunter Saake, Janet Feigenspan, Thomas Leich, Fabian Wielgorz & Sven Apel (2009):
FeatureIDE: A Tool Framework for Feature-oriented Software Development.
In: Proceedings of the 31st International Conference on Software Engineering,
ICSE '09.
IEEE Computer Society,
Washington, DC, USA,
pp. 611–614,
doi:10.1109/ICSE.2009.5070568.
Uwe Lesta, Ina Schaefer & Tim Winkelmann (2015):
Detecting and Explaining Conflicts in Attributed Feature Models.
Electronic Proceedings in Theoretical Computer Science 182,
pp. 31–43,
doi:10.4204/EPTCS.182.3.
Jia Hui Liang, Vijay Ganesh, Krzysztof Czarnecki & Venkatesh Raman (2015):
SAT-based Analysis of Large Real-world Feature Models is Easy.
In: Proceedings of the 19th International Conference on Software Product Line,
SPLC '15.
ACM,
New York, NY, USA,
pp. 91–100,
doi:10.1145/2791060.2791070.
Marcilio Mendonca, Andrzej Wąsowski & Krzysztof Czarnecki (2009):
SAT-based Analysis of Feature Models is Easy.
In: Proceedings of the 13th International Software Product Line Conference,
SPLC '09.
Carnegie Mellon University,
Pittsburgh, PA, USA,
pp. 231–240,
doi:10.1145/1753235.1753267.
Shin Nakajima (2010):
Semi-automated Diagnosis of FODA Feature Diagram.
In: Proceedings of the 2010 ACM Symposium on Applied Computing,
SAC '10.
ACM,
pp. 2191–2197,
doi:10.1145/1774088.1774550.
Shamim Ripon, Keya Azad, Sk Jahir Hossain & Mehidee Hassan (2012):
Modeling and Analysis of Product-line Variants.
In: Proceedings of the 16th International Software Product Line Conference - Volume 2,
SPLC '12.
ACM,
New York, NY, USA,
pp. 26–31,
doi:10.1145/2364412.2364417.
Rick Salay, Michalis Famelis, Julia Rubin, Alessio Di Sandro & Marsha Chechik (2014):
Lifting Model Transformations to Product Lines.
In: Proceedings of the 36th International Conference on Software Engineering,
ICSE 2014.
ACM,
pp. 117–128,
doi:10.1145/2568225.2568267.
P. Schobbens, P. Heymans & J.C. Trigaux (2006):
Feature Diagrams: A Survey and a Formal Semantics.
In: Requirements Engineering, 14th IEEE International Conference,
pp. 139–148,
doi:10.1109/RE.2006.23.
H. Tanizaki & T. Katayama (2008):
Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy.
In: Software Engineering Conference, 2008. APSEC '08. 15th Asia-Pacific.
IEEE,
pp. 343–350,
doi:10.1109/APSEC.2008.64.
Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer & Gunter Saake (2014):
A Classification and Survey of Analysis Strategies for Software Product Lines.
ACM Comput. Surv. 47(1),
pp. 6:1–6:45,
doi:10.1145/2580950.
Emina Torlak & Daniel Jackson (2007):
Kodkod: A Relational Model Finder.
In: Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems,
TACAS'07.
Springer-Verlag,
Berlin, Heidelberg,
pp. 632–647,
doi:10.1007/978-3-540-71209-1_49.
Hai Wang (2005):
Formal Semantics and Verification for Feature Modeling.
ICECCS'05,
pp. 303–312,
doi:10.1109/ICECCS.2005.48.