Table of Contents
ISRN Software Engineering
Volume 2012 (2012), Article ID 670803, 24 pages
http://dx.doi.org/10.5402/2012/670803
Review Article

Model-Driven Engineering for Software Product Lines

Institut de Recherche en Informatique et Systèmes Aléatoire (IRISA), University of Rennes 1, 35042 Rennes, France

Received 24 September 2012; Accepted 14 October 2012

Academic Editors: J. Brooke and H. Okamura

Copyright © 2012 Jean-Marc Jézéquel. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. L. M. Northrop, “A framework for software product line practice,” in Proceedings of the Workshop on Object-Oriented Technology, pp. 365–376, Springer, London, UK, 1999.
  2. F. van der Linden, “Software product families in Europe: the esaps & cafe projects,” IEEE Software, vol. 19, no. 4, pp. 41–49, 2002. View at Publisher · View at Google Scholar
  3. G. Halmans and K. Pohl, “Communicating the variability of a software product family to customers,” Software and System Modeling, vol. 2, no. 1, pp. 15–36, 2003. View at Publisher · View at Google Scholar
  4. A. Maccari and A. Heie, “Managing infinite variability in mobile terminal software: research articles,” Software: Practice and Experience, vol. 35, no. 6, pp. 513–537, 2005. View at Publisher · View at Google Scholar
  5. Software Product Line Conference—Hall of Fame, http://splc.net/fame.html.
  6. L. M. Northrop, “SEI's software product line tenets,” IEEE Software, vol. 19, no. 4, pp. 32–40, 2002. View at Google Scholar
  7. J. Bosch, Design and Use of Software Architectures: Adopting and Evolving a Product-Line Approach, ACM Press, Addison-Wesley, New York, NY, USA, 2000.
  8. J. Coplien, D. Hoffman, and D. Weiss, “Commonality and variability in software engineering,” IEEE Software, vol. 15, no. 6, pp. 37–45, 1998. View at Google Scholar · View at Scopus
  9. G. Perrouin, Architecting software systems using model transformation and architectural frameworks [Ph.D. thesis], University of Luxembourg (LASSY)/University of Namur (PReCISE), 2007.
  10. J. Bosch, G. Florijn, D. Greefhorst, J. Kuusela, J. Henk Obbink, and K. Pohl, “Variability issues in software product lines,” in Proceedings of the 4th International Workshop on Software Product-Family Engineering (PFE'01), pp. 13–21, Springer, London, UK, 2002.
  11. P. Heymans and J. C. Trigaux, “Modelling variability requirements in software product lines: a comparative survey,” Tech. Rep., FUNDP Namur, 2003. View at Google Scholar
  12. T. Ziadi and J. M. Jézéquel, “Product line engineering with the UML: deriving products,” in Software Product Lines, pp. 557–586, Springer, New York, NY, USA, 2006. View at Google Scholar
  13. C. Nebut, S. Pickin, Y. le Traon, and J. M. Jézéquel, “Automated requirements-based generation of test cases for product families,” in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE'03), 2003.
  14. C. Nebut, Y. le Traon, and J. M. Jézéquel, “System testing of product families: from requirements to test cases,” in Software Product Lines, pp. 447–478, Springer, New York, NY, USA, 2006. View at Google Scholar
  15. J. M. Jézéquel, “Model driven design and aspect weaving,” Journal of Software and Systems Modeling, vol. 7, no. 2, pp. 209–218, 2008. View at Google Scholar
  16. T. Ziadi, L. Héelouët, and J. M. Jézéquel, “Towards a UML profile for software product lines,” in Software Product-Family Engineering, vol. 3014 of Lecture Notes in Computer Science, pp. 129–139, 2003. View at Google Scholar
  17. D. Batory, R. E. Lopez-Herrejon, and J. P. Martin, “Generating product-lines of product-families,” in Proceedings of the Automated Software Engineering (ASE'02), pp. 81–92, IEEE, 2002.
  18. K. Czarnecki, T. Bednasch, P. Unger, and U. Eisenecker, Generative Programming for Embedded Software: An Industrial Experience Report, Lecture Notes in Computer Science, 2002.
  19. J. Bzivin, N. Farcet, J. M. Jézéquel, B. Langlois, and D. Pollet, “Reective model driven engineering,” in Proceedings of UML 2003, G. Booch, P. Stevens, and J. Whittle, Eds., vol. 2863 of Lecture Notes in Computer Science, pp. 175–189, Springer, San Francisco, Calif, USA, 2003. View at Google Scholar
  20. P. A. Muller, F. Fleurey, and J. M. Jézéquel, “Weaving executability into objectoriented meta-languages,” in Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML'05), Lecture Notes in Computer Science, pp. 264–278, Springer, Montego Bay, Jamaica, 2005.
  21. S. Pickin, C. Jard, T. Jéron, J. M. Jézéquel, and Y. le Traon, “Test synthesis from UML models of distributed software,” IEEE Transactions on Software Engineering, vol. 33, no. 4, pp. 252–268, 2007. View at Google Scholar
  22. L. Chen, M. Ali Babar, and N. Ali, “Variability management in software product lines: a systematic review,” in Software Product Line Conference, pp. 81–90, Carnegie Mellon University, Pittsburgh, Pa, USA, 2009. View at Google Scholar
  23. D. L. Parnas, “On the design and development of program families,” IEEE Transactions on Software Engineering, vol. 2, no. 1, pp. 1–9, 1976. View at Google Scholar
  24. K. Pohl, G. Böckle, and F. J. van der Linden, Software Product Line Engineering: Foundations, Principles and Techniques, Springer, New York, NY, USA, 2005.
  25. J. Estublier, “Software configuration management: a roadmap,” in Proceedings of the Conference on the Future of Software Engineering (ICSE), pp. 279–289, 2000. View at Publisher · View at Google Scholar
  26. M. Erwig, “A language for software variation research,” in Proceedings of the 9th International Conference on Generative Programming and Component Engineering (GPCE'10), pp. 3–12, ACM, New York, NY, USA, October 2010. View at Publisher · View at Google Scholar · View at Scopus
  27. M. Erwig and E. Walkingshaw, “The choice calculus: a representation for software variation,” ACM Transactions on Software Engineering and Methodology, vol. 21, no. 1, 2011. View at Google Scholar
  28. D. M. Weiss and C. T. R. Lai, Software Product-Line Engineering: A Family-Based Software Development Process, Addison-Wesley, Longman, Boston, Mass, USA, 1999.
  29. M. Svahnberg, J. van Gurp, and J. Bosch, “A taxonomy of variability realization techniques: research articles,” Software Practice and Experience, vol. 35, no. 8, pp. 705–754, 2005. View at Google Scholar
  30. F. Bachmann and P. Clements, “Variability in software product lines,” Tech. Rep. cmu/sei-2005-tr-012, Software Engineering Institute, Pittsburgh, Pa, USA, 2005. View at Google Scholar
  31. J. Meekel, T. B. Horton, and C. Mellone, “Architecting for domain variability,” in Proceedings of the 2nd International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families, pp. 205–213, 1998.
  32. F. Bachmann and L. Bass, “Managing variability in software architectures,” SIGSOFT Software Engineering Notes, vol. 26, no. 3, pp. 126–132, 2001. View at Google Scholar
  33. K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson, “Featureoriented domain analysis (foda) feasibility study,” Tech. Rep., Carnegie-Mellon University Software Engineering Institute, 1990. View at Google Scholar
  34. I. Jacobson, Object-Oriented Software Engineering: A Use Case Driven Approach, Addison Wesley Longman, Redwood City, Calif, USA, 2004.
  35. K. Czarnecki and U. W. Eisenecker, Generative Programming: Methods, Tools, and Applications, ACM Press, Addison-Wesley, New York, NY, USA, 2000.
  36. P. Y. Schobbens, P. Heymans, J. C. Trigaux, and Y. Bontemps, “Generic semantics of feature diagrams,” Computer Networks, vol. 51, no. 2, pp. 456–479, 2007. View at Google Scholar
  37. M. L. Griss, “Implementing product-line features with component reuse,” in Proceedings of the 6th International Conerence on Software Reuse (ICSR-6), pp. 137–152, Springer, London, UK, 2000.
  38. P. Y. Schobbens, P. Heymans, and J. C. Trigaux, “Feature diagrams: a survey and a formal semantics,” in Proceedings of the 14th IEEE International Requirements Engineering Conference (RE'06), pp. 136–145, IEEE Computer Society, Washington, DC, USA, 2006.
  39. I. Jacobson, M. Griss, and P. Jonsson, Software Reuse: Architecture, Process and Organization for Business sucCess, ACM Press/Addison-Wesley, New York, NY, USA, 1997.
  40. J. M. Jézéquel, “Reifying configuration management for object-oriented software,” in International Conference on Software Engineering, ICSE'20, Kyoto, Japan, April 1998.
  41. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995.
  42. J. M. Jézéquel, “Reifying variants in configuration management,” ACM Transaction on Software Engineering and Methodology, vol. 8, no. 3, pp. 284–295, 1999. View at Google Scholar
  43. K. C. Kang, S. Kim, J. Lee, K. Kim, E. Shin, and M. Huh, “Form: a feature-oriented reuse method with domain-specific reference architectures,” Annuals of Software Engineering, vol. 5, no. 1, pp. 143–168, 1998. View at Publisher · View at Google Scholar
  44. M. L. Griss, J. Favaro, and M. d'Alessandro, “Integrating feature modeling with the rseb,” in Proceedings of the 5th International Conference on Software Reuse (ICSR'98), p. 76, IEEE Computer Society, Washington, DC, USA, 1998.
  45. J. van Gurp, J. Bosch, and M. Svahnberg, “On the notion of variability in software product lines,” in Proceedings of the Working IEEE/IFIP Conference on Software Architecure (WICSA'01), pp. 45–54, IEEE Computer Society, August 2001.
  46. M. Riebisch, “Towards a more precise definition of feature models,” in Modelling Variability for Object-Oriented Product Lines, pp. 64–76, 2003. View at Google Scholar
  47. K. Czarnecki, S. Helsen, and U. W. Eisenecker, “Formalizing cardinality-based feature models and their specialization,” Software Process Improvement and Practice, vol. 10, no. 1, pp. 7–29, 2005. View at Publisher · View at Google Scholar · View at Scopus
  48. M. Eriksson, J. Börstler, and K. Borg, “The pluss approach—domain modeling with features, use cases and use case realizations,” in Software Product Lines (SPLC), Lecture Notes in Computer Science, pp. 33–44, 2005. View at Google Scholar
  49. A. Deursen and P. Klint, “Domain-specific language design requires feature descriptions,” Journal of Computing and Information Technology, vol. 10, p. 2002, 2001. View at Google Scholar
  50. D. S. Batory, “Feature models, grammars, and propositional formulas,” in Proceedings of the 9th international conference on Software Product Lines (SPLC'05), pp. 7–20, 2005. View at Google Scholar
  51. S. Ferber, J. Haag, and J. Savolainen, “Feature interaction and dependencies: modeling features for reengineering a legacy product line,” in Software Product Lines (SPLC), Lecture Notes in Computer Science, pp. 235–256, 2002. View at Google Scholar
  52. P. Istoan, Méthodologie pour la dérivation des modèles comportementaux des produits dans les lignes de développement logiciel [Ph.D. thesis], Université de Rennes 1, University of Luxembourg (LASSY), 2013.
  53. A. Classen, P. Heymans, and P. Y. Schobbens, “What's in a feature: a requirements engineering perspective,” in Proceedings of 11th International Conference on Fundamental Approaches to Software Engineering, pp. 16–30, Springer, 2008.
  54. O. Haugen, B. Moller-Pedersen, J. Oldevik, G. K. Olsen, and A. Svendsen, “Adding standardized variability to domain specific languages,” in Proceedings of the 12th International Software Product Line Conference (SPLC'08), pp. 139–148, Limerick, UK, September 2008. View at Publisher · View at Google Scholar
  55. M. Clauss, “Generic modeling using UML extensions for variability,” in Proceedings of OOPSLA Workshop on Domain-specific Visual Languages, pp. 11–18, 2001. View at Google Scholar
  56. M. Clauss and I. Jena, “Modeling variability with UML,” in Proceedings of the GCSE Young Researchers Workshop, 2001.
  57. T. Ziadi, L. Hélouët, and J. M. Jézéquel, “Modeling behaviors in product lines,” in Proceedings of the International Workshop on Requirements Engineering for Product Lines (REPL'02), pp. 33–38, 2002.
  58. H. Gomaa, Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures, Addison Wesley, Longman, Redwood City, Calif, USA, 2004.
  59. H. Gomaa and M. E. Shin, “Multiple-view modelling and meta-modelling of software product lines,” IET Software, vol. 2, no. 2, pp. 94–122, 2008. View at Publisher · View at Google Scholar · View at Scopus
  60. E. A. de Oliveira Jr., I. M. de Souza Gimenes, E. H. Moriya Huzita, and J. C. Maldonado, “A variability management process for software product lines,” in Proceedings of the Centre for Advanced Studies on Collaborative Research Conference (CASCON '05), pp. 225–241, 2005. View at Google Scholar
  61. B. Morin, J. Klein, O. Barais, and J. M. Jézéquel, “A generic weaver for supporting product lines,” in Proceedings of the 13th International Workshop on Early Aspects (EA'08), pp. 11–18, ACM, New York, NY, USA, 2008.
  62. B. Morin, G. Perrouin, P. Lahire, O. Barais, G. Vanwormhoudt, and J. M. Jézéquel, “Weaving variability into domain metamodels,” in Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), pp. 690–705, 2009. View at Publisher · View at Google Scholar
  63. K. Bak, K. Czarnecki, and A. Wasowski, “Feature and meta-models in clafer: mixed, specialized, and coupled,” in Software Language Engineering, B. Malloy, S. Staab, and M. van den Brand, Eds., vol. 6563 of Lecture Notes in Computer Science, pp. 102–122, Springer, Berlin, Germany, 2011. View at Publisher · View at Google Scholar · View at Scopus
  64. G. Perrouin, J. Klein, N. Guel, and J. M. Jézéquel, “Reconciling automation and exibility in product derivation,” in Proceedings of the 12th International Software Product Line Conference (SPLC'08), pp. 339–348, IEEE Computer Society, Washington, DC, USA, 2008.
  65. G. Perrouin, “Coherent integration of variability mechanisms at the requirements elicitation and analysis levels,” in Proceedingd of the Workshop on Managing Variability for Software Product Lines: Working with Variability Mechanisms at 10th Software Product Line Conference, August 2006.
  66. K. Czarnecki and M. Antkiewicz, “Mapping features to models: a template approach based on superimposed variants,” in Proceedings of the 4th International Conference on Generative Programming and Component Enginering (GPCE'05), pp. 422–437, Springer, 2005. View at Google Scholar
  67. M. A. Laguna and B. González-Baixauli, “Product line requirements: multiparadigm variability models,” in Proceedings of the 11th Workshop on Requirements Engineering WER, 2008.
  68. S. Apel, F. Janda, S. Trujillo, and C. Kästner, “Model superimposition in software product lines,” in Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations (ICMT'09), pp. 4–19, Springer, Berlin, Germany, 2009.
  69. A. Metzger, K. Pohl, P. Heymans, P. Y. Schobbens, and G. Saval, “Disambiguating the documentation of variability in software product lines: a separation of concerns, formalization and automated analysis,” in Proceedings of the 15th IEEE International Requirements Engineering Conference (RE'07), pp. 243–253, New Delhi, India, 2007. View at Publisher · View at Google Scholar
  70. M. Sinnema, S. Deelstra, J. Nijhuis, and J. Bosch, “COVAMOF: a framework for modeling variability in software product families,” in Proceedings of the 3rd Software Product Line Conference (SPLC'04), pp. 197–213.
  71. M. Sinnema, S. Deelstra, and P. Hoekstra, “The COVAMOF derivation process,” in Proceedings of the 9th International Conference on Reuse of Off-the-Shelf Components (ICSR'06), pp. 101–114, 2006. View at Publisher · View at Google Scholar
  72. J. Bayer, O. Flege, and C. Gacek, “Creating product line architectures,” in IW-SAPF, pp. 210–216, 2000. View at Google Scholar
  73. G. Campbell, N. Burkhard, J. Facemire, and J. O'Connor, “Synthesis guidebook,” Tech. Rep. SPC-91122-MC, Software Productivity Consortium, Herndon, Va, USA, 1991. View at Google Scholar
  74. D. Dhungana, P. Grünbacher, and R. Rabiser, “The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study,” Automated Software Engineering, vol. 18, no. 1, pp. 77–114, 2011. View at Publisher · View at Google Scholar · View at Scopus
  75. J. Xabier Mansell and D. Sellier, “Decision model and exible component definition based on xml technology,” in Software Product Family Engineering (PFE), Lecture Notes in Computer Science, pp. 466–472, 2004. View at Google Scholar
  76. European Software Engineering Institute Spain and IKV++ Technologies AG Germany, “Master: model-driven architecture instrumentation, enhancement and renement,” Tech. Rep. IST-2001-34600, IST, 2002. View at Google Scholar
  77. K. Schmid and I. John, “A customizable approach to full lifecycle variability management,” Science of Computer Programming, vol. 53, no. 3, pp. 259–284, 2004. View at Publisher · View at Google Scholar
  78. C. Atkinson, J. Bayer, and D. Muthig, “Component-based product line development: the KobrA approach,” in Proceedings of the 1st Conference on Software Product Lines: Experience and Research Directions: Experience and Research Directions, pp. 289–309, Kluwer Academic, Norwell, Mass, USA, 2000.
  79. F. Fleurey, O. Haugen, B. Moller-Pedersen, G. Olsen, A. Svendsen, and Z. Xiaorui, “A generic language and tool for variability modeling,” Tech. Rep., SINTEF, 2009. View at Google Scholar
  80. D. Beuche, “Modeling and building software product lines with pure: variants,” in Proceedings of the 12th International Software Product Line Conference (SPLC'08), p. 358, Limerick, Ireland, September 2008. View at Publisher · View at Google Scholar · View at Scopus
  81. C. W. Krueger, “The biglever software gears unified software product line engineering framework,” in Proceedings of the 12th International Software Product Line Conference (SPLC'08), p. 353, Limerick, UK, September 2008.
  82. M. Acher, P. Collet, P. Lahire, and R. France, “Slicing feature models,” in Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE'11), pp. 424–427, January 2011.
  83. M. Mannion, “Using first-order logic for product line model validation,” in Proceedings of the 2nd International Conference on Software Product Lines (SPLC 2), pp. 176–187, Springer, London, UK, 2002. View at Google Scholar
  84. T. Asikainen, T. Männistö, and T. Soininen, “A unified conceptual foundation for feature modelling,” in Proceedings of the 10th International Software Product Line Conference (SPLC'06), pp. 31–40, IEEE Computer Society, August 2006. View at Scopus
  85. D. Fey, R. Fajta, and A. Boros, “Feature modeling: a meta-model to enhance usability and usefulness,” in Proceedings of the 2nd International Conference on Software Product Lines (SPLC 2), pp. 198–216, Springer, London, UK, 2002. View at Google Scholar
  86. V. Vranic, “Reconciling feature modeling: a feature modeling metamodel,” in Proceedings of the 5th Net.ObjectDays, pp. 122–137, Springer, 2004.
  87. M. O. Reiser, R. T. Kolagari, and M. Weber, “Unified feature modeling as a basis for managing complex system families,” in Proceedings of the 1st International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'07), pp. 79–86, 2007.
  88. K. Czarnecki and A. Wasowski, “Feature diagrams and logics: there and back again,” in Proceedings of the 11th International Software Product Line Conference (SPLC'07), pp. 23–34, Kyoto, Japan, September 2007. View at Publisher · View at Google Scholar · View at Scopus
  89. D. Benavides, S. Segura, and A. Ruiz-Cortés, “Automated analysis of feature models 20 years later: a literature review,” Information Systems, vol. 35, no. 6, pp. 615–636, 2010. View at Publisher · View at Google Scholar · View at Scopus
  90. M. Mendonca, A. Wasowski, and K. Czarnecki, “SAT-based analysis of feature models is easy,” in Proceedings of the 13th International Software Product Line Conference (SPLC'09), pp. 231–241, IEEE, 2009.
  91. T. T. Tun and P. Heymans, “Concerns and their separation in feature diagram languages—an informal survey,” in Proceedings of the Workshop on Scalable Modelling Techniques for Software Product Lines (SCALE@SPLC'09), pp. 107–110, 2009.
  92. M. Mendonca and D. Cowan, “Decision-making coordination and efficient reasoning techniques for feature-based configuration,” Science of Computer Programming, vol. 75, no. 5, pp. 311–332, 2010. View at Publisher · View at Google Scholar
  93. P. Trinidad, D. Benavides, A. Durán, A. Ruiz-Cortés, and M. Toro, “Automated error analysis for the agilization of feature modeling,” Journal of Systems and Software, vol. 81, no. 6, pp. 883–896, 2008. View at Google Scholar
  94. J. White, D. Benavides, D. C. Schmidt, P. Trinidad, and A. Ruiz-Cortés, “Automated diagnosis of product-line configuration errors in feature models,” in Proceedings of the 12th International Software Product Line Conference (SPLC'08), pp. 225–234, IEEE, Limerick, UK, September 2008.
  95. M. Janota, SAT solving in interactive configuration [Ph.D. thesis], Department of Computer Science at University College Dublin, 2010.
  96. M. Voelter and I. Groher, “Product line implementation using aspect-oriented and model-driven software development,” in Proceedings of the 11th International Software Product Line Conference (SPLC'07), pp. 233–242, 2007.
  97. M. Mezini and K. Ostermann, “Variability management with feature-oriented programming and aspects,” SIGSOFT Software Engineering Notes, vol. 29, no. 6, pp. 127–136, 2004. View at Google Scholar
  98. D. Batory, J. N. Sarvela, and A. Rauschmayer, “Scaling step-wise refinement,” IEEE Transactions on Software Engineering, vol. 30, no. 6, pp. 355–371, 2004. View at Publisher · View at Google Scholar · View at Scopus
  99. P. Lahire, B. Morin, G. Vanwormhoudt, A. Gaignard, O. Barais, and J. M. Jézéquel, “Introducing variability into aspect-oriented modeling approaches,” in Proceedings of 10th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS'07), Lecture Notes in Computer Science, pp. 498–513, Springer, 2007. View at Google Scholar
  100. B. Morin, F. Fleurey, N. Bencomo et al., “An aspect-oriented and model-driven approach for managing dynamic variability,” in Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS'08), vol. 5301 of Lecture Notes in Computer Science, pp. 782–796, 2008.
  101. M. Acher, P. Collet, P. Lahire, A. Gaignard, R. France, and J. Montagnat, “Composing multiple variability artifacts to assemble coherent workows,” Software Quality Journal, p. 40, 2011, Special issue on Quality Engineering for Software Product Lines. View at Google Scholar
  102. M. Acher, P. Collet, P. Lahire, and R. France, “Decomposing feature models: Language, environment, and applications,” in Proceedings of the Automated Software Engineering (ASE'11), IEEE/ACM, Lawrence, Kansas, USA, November 2011, short paper: demonstration track.
  103. M. Acher, P. Collet, P. Lahire, and R. France, “Separation of concerns in feature modeling: support and applications,” in Proceedings of the 11th International Conference on Aspect-Oriented Software Development (AOSD'12), Hasso-Plattner-Institut Potsdam, ACM, Potsdam, Germany, March 2012.
  104. H. Hartmann, T. Trew, and A. Matsinger, “Supplier independent feature modelling,” in Proceedings of the 13th International Software Product Line Conference (SPLC'09), pp. 191–200, IEEE, 2009.
  105. A. Hubaux, A. Classen, and P. Heymans, “Formal modelling of feature configuration workows,” in Proceedings of the 13th International Software Product Line Conference (SPLC'09), pp. 221–230, IEEE, 2009.
  106. A. Hubaux, A. Classen, M. Mendonça, and P. Heymans, “A preliminary review on the application of feature diagrams in practice,” in Proceedings of the International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'10), pp. 53–59, 2010.
  107. S. Deelstra, M. Sinnema, and J. Bosch, Experiences in Software Product Families: Problems and Issues During Product Derivation, Lecture Notes in Computer Science, 2004.
  108. A. Bertolino, A. Fantechi, S. Gnesi, G. Lami, and A. Maccari, “Use case description of requirements for product lines,” in Proceedings of the International Workshop on Requirement Engineering for Product Line (REPL'02), pp. 12–18, September 2002.
  109. T. von der Massen and H. Lichter, “Requiline: a requirements engineering tool for software product lines,” in Software Product-Family Engineering, Lecture Notes in Computer Science, pp. 168–180, 2004. View at Google Scholar
  110. T. Ziadi and J. M. Jézéquel, “Product line engineering with the UML: products derivation,” in Families Research Book, Lecture Notes in Computer Science, chapter WP4, Springer, New York, NY, USA, 2004. View at Google Scholar
  111. S. Robak, R. Franczyk, and K. Politowicz, “Extending the UML for modeling variability for system families,” International Journal of Applied Mathematics Computer Sciences, vol. 12, no. 2, pp. 285–298, 2002. View at Google Scholar
  112. T. Ziadi, L. Hélouët, and J. M. Jézéquel, “Revisiting statechart synthesis with an algebraic approach,” in Proceedings of the 26th International Conference on Software Engineering (ICSE'04), pp. 242–251, ACM, Edinburgh, UK, May 2004.
  113. F. Chauvel and J. M. Jézéquel, “Code generation from UML models with semantic variation points,” in Proceedings of MOD-ELS/UML'2005, S. Kent L. Briand, Ed., vol. 3713 of Lecture Notes in Computer Science, Springer, Montego Bay, Jamaica, 2005. View at Google Scholar
  114. R. Rabiser, P. Grunbacher, and D. Dhungana, “Supporting product derivation by adapting and augmenting variability models,” in Proceedings of the 11th International Software Product Line Conference (SPLC'07), pp. 141–150, IEEE Computer Society, Kyoto, Japan, 2007. View at Publisher · View at Google Scholar
  115. M. Gouyette, O. Barais, J. le Noir et al., “Movida studio: a modeling environment to create viewpoints and manage variability in views,” in IDM-7éme journées sur l'Ingénierie Dirigée par les ModèLes-2011, I. Ober, Ed., vol. 1, pp. 141–145, Polytech, Université Lille 1, Service Reprographie de Polytech, Lille, France, 2011. View at Google Scholar
  116. J. D. McGregor, “Building reusable testing assets for a software product line,” in Proceedings of the 12th International Software Product Line Conference (SPLC'08), p. 378, Limerick, UK, September 2006.
  117. J. D. McGregor, “Testing a software product line,” in PSSE, pp. 104–140, 2007. View at Google Scholar
  118. C. Nebut, Y. le Traon, F. Fleurey, and J. M. Jézéquell, “A requirement-based approach to test product families,” in Proceedings of the 5th Workshop on Product Families Engineering (PFE'05), vol. 3014 of Lecture Notes in Computer Science, Springer, 2003.
  119. C. Nebut, F. Fleurey, Y. le Traon, and J. M. Jézéquel, “Requirements by contracts allow automated system testing,” in Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE'03), pp. 85–96, IEEE, 2003.
  120. P. A. da Mota Silveira Neto, I. D. Carmo MacHado, J. D. McGregor, E. S. de Almeida, and S. R. de Lemos Meira, “A systematic mapping study of software product lines testing,” Information and Software Technology, vol. 53, no. 5, pp. 407–423, 2011. View at Publisher · View at Google Scholar · View at Scopus
  121. S. Mujtaba, K. Petersen, R. Feldt, and M. Mattsson, “Software product line variability: a systematic mapping study,” 2008.
  122. M. Sinnema and S. Deelstra, “Classifying variability modeling techniques,” Information and Software Technology, vol. 49, no. 7, pp. 717–739, 2007. View at Publisher · View at Google Scholar