Skip to main content
SpringerLink
Log in
Book cover

Mastering Software Variability with FeatureIDE pp 73–80Cite as

Feature Traceability in Feature Models and Configurations

  • Chapter
  • First Online:

  • 923 Accesses

Abstract

Feature traceability is the ability to find features. When working with large feature models, it can be hard to identify certain features across the project, in the feature model, in configuration files, and source artifacts. In FeatureIDE, we provide several mechanisms that ease tracing features. In this chapter, we discuss how feature traceability is supported during feature modeling and configuration. This support is used as a basis for feature traceability in the product line implementations that we discuss in the subsequent chapters.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   69.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • AL-HAJJAJI, M., KRIETER, S., THüM, T., LOCHAU, M., ANDSAAKE, G. 2016a. IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling. In Proc. Int’l Conf. Generative Programming: Concepts & Experiences (GPCE). ACM, New York, NY, USA, 144–155.

    Google Scholar 

  • AL-HAJJAJI, M., MEINICKE, J., KRIETER, S., SCHRöTER, R., THüM, T., LEICH, T., ANDSAAKE, G. 2016b. Tool Demo: Testing Configurable Systems with FeatureIDE. In Proc. Int’l Conf. Generative Programming: Concepts & Experiences (GPCE). ACM, New York, NY, USA, 173–177.

    Google Scholar 

  • AL-HAJJAJI, M., THüM, T., LOCHAU, M., MEINICKE, J., ANDSAAKE, G. 2016c. Effective Product-Line Testing Using Similarity-Based Product Prioritization. Software and System Modeling (SoSym).

    Google Scholar 

  • ANANIEVA, S., KOWAL, M., THüM, T., AND SCHAEFER, I. 2016. Implicit Constraints in Partial Feature Models. In Proc. Int’l Workshop Feature-Oriented Software Development (FOSD). ACM, New York, NY, USA, 18–27.

    Google Scholar 

  • ANTKIEWICZ, M., JI, W., BERGER, T., CZARNECKI, K., SCHMORLEIZ, T., LäMMEL, R., STăNCIULESCU, S., WĄSOWSKI, A., AND SCHAEFER, I. 2014. Flexible Product Line Engineering with a Virtual Platform. In Proc. Int’l Conf. Software Engineering (ICSE). ACM, New York, NY, USA, 532–535.

    Google Scholar 

  • APEL, S., BATORY, D., KäSTNER, C., ANDSAAKE, G. 2013a. Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, Berlin, Heidelberg.

    Google Scholar 

  • APEL, S., KäSTNER, C., ANDLENGAUER, C. 2009. FeatureHouse: Language-Independent, Automated Software Composition. In Proc. Int’l Conf. Software Engineering (ICSE). IEEE, Washington, DC, USA, 221–231.

    Google Scholar 

  • APEL, S., KäSTNER, C., ANDLENGAUER, C. 2013b. Language-Independent and Automated Software Composition: The FeatureHouse Experience. IEEE Trans. Software Engineering (TSE) 39, 1, 63–79.

    Google Scholar 

  • APEL, S., KOLESNIKOV, S., LIEBIG, J., KäSTNER, C., KUHLEMANN, M., ANDLEICH, T. 2012. Access Control in Feature-Oriented Programming. Science of Computer Programming (SCP) 77, 3, 174–187.

    Google Scholar 

  • APEL, S., LEICH, T., ROSENMüLLER, M., AND SAAKE, G. 2005. Feature C++: On the Symbiosis of Feature-Oriented and Aspect-Oriented Programming. In Proc. Int’l Conf. Generative Programming and Component Engineering (GPCE). Springer, Berlin, Heidelberg, 125–140.

    Google Scholar 

  • APEL, S., VON RHEIN, A., THüM, T., AND KäSTNER, C. 2013c. Feature-Interaction Detection Based on Feature-Based Specifications. Computer Networks 57, 12, 2399–2409.

    Google Scholar 

  • APEL, S., VON RHEIN, A., WENDLER, P., GRöSSLINGER, A., ANDBEYER, D. 2013d. Strategies for Product-Line Verification: Case Studies and Experiments. In Proc. Int’l Conf. Software Engineering (ICSE). IEEE, Piscataway, NJ, USA, 482–491.

    Google Scholar 

  • BATORY, D. 2003. A Tutorial on Feature-Oriented Programming and Product Lines. In Proc. Int’l Conf. Software Engineering (ICSE). IEEE, Washington, DC, USA, 753–754.

    Google Scholar 

  • BATORY, D. 2005. Feature Models, Grammars, and Propositional Formulas. In Proc. Int’l Software Product Line Conf. (SPLC). Springer, Berlin, Heidelberg, 7–20.

    Google Scholar 

  • BATORY, D. 2006. A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite. In Proc. Generative and Transformational Techniques in Software Engineering. Springer, Berlin, Heidelberg, 3–35.

    Google Scholar 

  • BECKERT, B., HäHNLE, R., ANDSCHMITT, P. 2007. Verification of Object-Oriented Software: The KeY Approach. Springer, Berlin, Heidelberg.

    Google Scholar 

  • BENAVIDES, D., SEGURA, S., ANDRUIZ-CORTéS, A. 2010. Automated Analysis of Feature Models 20 Years Later: A Literature Review. Information Systems 35, 6, 615–708.

    Google Scholar 

  • BENDUHN, F., SCHRöTER, R., KENNER, A., KRUCZEK, C.,, LEICH, T., ANDSAAKE, G. 2016. Migration from Annotation-Based to Composition-Based Product Lines: Towards a Tool-Driven Process. In Proc. Conf. Advances and Trends in Software Engineering (SOFTENG). IARIA, 102–109.

    Google Scholar 

  • BERGER, T., RUBLACK, R., NAIR, D., ATLEE, J. M., BECKER, M., CZARNECKI, K., ANDWĄSOWSKI, A. 2013. A Survey of Variability Modeling in Industrial Practice. In Proc. Int’l Workshop Variability Modelling of Software-Intensive Systems (VaMoS). ACM, New York, NY, USA, 7:1–7:8.

    Google Scholar 

  • CHVATAL, V. 1979. A Greedy Heuristic for the Set-Covering Problem. Mathematics of operations research 4, 3, 233–235.

    Google Scholar 

  • CZARNECKI, K.ANDEISENECKER, U. 2000. Generative Programming: Methods, Tools, and Applications. ACM/Addison-Wesley, New York, NY, USA.

    Google Scholar 

  • CZARNECKI, K., HELSEN, S., ANDEISENECKER, U. 2005. Staged Configuration through Specialization and Multi-Level Configuration of Feature Models. Software Process: Improvement and Practice 10, 2, 143–169.

    Google Scholar 

  • DUBINSKY, Y., RUBIN, J., BERGER, T., DUSZYNSKI, S., BECKER, M., ANDCZARNECKI, K. 2013. An Exploratory Study of Cloning in Industrial Software Product Lines. In Proc. Europ. Conf. Software Maintenance and Reengineering (CSMR). IEEE, Washington, DC, USA, 25–34.

    Google Scholar 

  • FEIGENSPAN, J., KäSTNER, C., APEL, S., LIEBIG, J., SCHULZE, M., DACHSELT, R., PAPENDIECK, M., LEICH, T., ANDSAAKE, G. 2013. Do Background Colors Improve Program Comprehension in the #Ifdef Hell? Empirical Software Engineering (EMSE) 18, 4, 699–745.

    Google Scholar 

  • FEIGENSPAN, J., SCHULZE, M., PAPENDIECK, M., KäSTNER, C., DACHSELT, R., KöPPEN, V., ANDFRISCH, M. 2011. Using Background Colors to Support Program Comprehension in Software Product Lines. In Proc. Int’l Conf. Evaluation Assessment in Software Engineering (EASE). 66–75.

    Google Scholar 

  • FENSKE, W., MEINICKE, J., SCHULZE, S., SCHULZE, S., ANDSAAKE, G. 2017. Variant-Preserving Refactorings for Migrating Cloned Products to a Product Line. In Proc. Int’l Conf. Software Analysis, Evolution and Reengineering (SANER). IEEE, Piscataway, NJ, USA, 316–326.

    Google Scholar 

  • FENSKE, W., THüM, T., ANDSAAKE, G. 2014. A Taxonomy of Software Product Line Reengineering. In Proc. Int’l Workshop Variability Modelling of Software-Intensive Systems (VaMoS). ACM, New York, NY, USA, 4:1–4:8.

    Google Scholar 

  • FOWLER, M. 2000. Refactoring: Improving the Design of Existing Code. Addison-Wesley.

    Google Scholar 

  • GARVIN, B. J., COHEN, M. B., ANDDWYER, M. B. 2011. Evaluating Improvements to a Meta-Heuristic Search for Constrained Interaction Testing. Empirical Software Engineering (EMSE) 16, 1, 61–102.

    Google Scholar 

  • GRUBER, O., HARGRAVE, B. J., MCAFFER, J., RAPICAULT, P., ANDWATSON, T. 2005. The Eclipse 3.0 Platform: Adopting OSGi Technology. IBM Syst. J. 44, 2, 289–299.

    Google Scholar 

  • HALLSTEINSEN, S., HINCHEY, M., PARK, S., AND SCHMID, K. 2008. Dynamic Software Product Lines. IEEE Computer 41, 4, 93–95.

    Google Scholar 

  • HATCLIFF, J., LEAVENS, G. T., LEINO, K. R. M., MüLLER, P., ANDPARKINSON, M. 2012. Behavioral Interface Specification Languages. ACM Computing Surveys 44, 3, 16:1–16:58.

    Google Scholar 

  • JOHANSEN, M. F., HAUGEN, Ø., ANDFLEUREY, F. 2011. Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible. In Proc. Int’l Conf. Model Driven Engineering Languages and Systems (MODELS). Springer, Berlin, Heidelberg, 638–652.

    Google Scholar 

  • KANG, K. C., COHEN, S. G., HESS, J. A., NOVAK, W. E., ANDPETERSON, A. S. 1990. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Tech. Rep. CMU/SEI-90-TR-21, Software Engineering Institute.

    Google Scholar 

  • KäSTNER, C.ANDAPEL, S. 2009. Virtual Separation of Concerns – A Second Chance for Preprocessors. J. Object Technology (JOT) 8, 6, 59–78.

    Google Scholar 

  • KäSTNER, C., APEL, S., ANDKUHLEMANN, M. 2008. Granularity in Software Product Lines. In Proc. Int’l Conf. Software Engineering (ICSE). ACM, New York, NY, USA, 311–320.

    Google Scholar 

  • KäSTNER, C., GIARRUSSO, P. G., RENDEL, T., ERDWEG, S., OSTERMANN, K., ANDBERGER, T. 2011. Variability-Aware Parsing in the Presence of Lexical Macros and Conditional Compilation. In Proc. Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM, New York, NY, USA, 805–824.

    Google Scholar 

  • KäSTNER, C., THüM, T., SAAKE, G., FEIGENSPAN, J., LEICH, T., WIELGORZ, F., ANDAPEL, S. 2009. FeatureIDE: A Tool Framework for Feature-Oriented Software Development. In Proc. Int’l Conf. Software Engineering (ICSE). IEEE, Washington, DC, USA, 611–614. Formal demonstration paper.

    Google Scholar 

  • KICZALES, G., HILSDALE, E., HUGUNIN, J., KERSTEN, M., PALM, J., ANDGRISWOLD, W. G. 2001. An Overview of AspectJ. In Proc. Europ. Conf. Object-Oriented Programming (ECOOP). Springer, London, UK, 327–354.

    Google Scholar 

  • KICZALES, G., LAMPING, J., MENDHEKAR, A., MAEDA, C., LOPES, C., LOINGTIER, J.-M., ANDIRWIN, J. 1997. Aspect-Oriented Programming. In Proc. Europ. Conf. Object-Oriented Programming (ECOOP). Springer, Berlin, Heidelberg, 220–242.

    Google Scholar 

  • KOLESNIKOV, S., VON RHEIN, A., HUNSEN, C., AND APEL, S. 2013. A Comparison of Product-Based, Feature-Based, and Family-Based Type Checking. In Proc. Int’l Conf. Generative Programming: Concepts & Experiences (GPCE). ACM, New York, NY, USA, 115–124.

    Google Scholar 

  • KOSCIELNY, J., HOLTHUSEN, S., SCHAEFER, I., SCHULZE, S., BETTINI, L., ANDDAMIANI, F. 2014. DeltaJ 1.5: Delta-Oriented Programming for Java 1.5. In Proc. Int’l Conf. Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools (PPPJ). ACM, New York, NY, USA, 63–74.

    Google Scholar 

  • KOWAL, M., ANANIEVA, S., ANDTHüM, T. 2016. Explaining Anomalies in Feature Models. In Proc. Int’l Conf. Generative Programming: Concepts & Experiences (GPCE). ACM, New York, NY, USA, 132–143.

    Google Scholar 

  • KRIETER, S., SCHRöTER, R., FENSKE, W., AND SAAKE, G. 2015. Use-Case-Specific Source-Code Documentation for Feature-Oriented Programming. In Proc. Int’l Workshop Variability Modelling of Software-Intensive Systems (VaMoS). ACM, New York, NY, USA, 27:27–27:34.

    Google Scholar 

  • KRUEGER, C. W. 2002. Variation Management for Software Production Lines. In Proc. Int’l Software Product Line Conf. (SPLC). Springer, Berlin, Heidelberg, 37–48.

    Google Scholar 

  • LAGUNA, M. A.ANDCRESPO, Y. 2013. A Systematic Mapping Study on Software Product Line Evolution: From Legacy System Reengineering to Product Line Refactoring. Science of Computer Programming (SCP) 78, 8, 1010–1034.

    Google Scholar 

  • LE, D., WALKINGSHAW, E., ANDERWIG, M. 2011. #ifdef Confirmed Harmful: Promoting Understandable Software Variation. In Proc. Int’l Symposium Visual Languages and Human-Centric Computing (VL/HCC). IEEE, Washington, DC, USA, 143–150.

    Google Scholar 

  • LEICH, T., APEL, S., MARNITZ, L., ANDSAAKE, G. 2005. Tool Support for Feature-Oriented Software Development - FeatureIDE: An Eclipse-Based Approach. In Proc. Workshop Eclipse Technology eXchange (ETX). ACM, New York, NY, USA, 55–59.

    Google Scholar 

  • LIEBIG, J., APEL, S., LENGAUER, C., KäSTNER, C., ANDSCHULZE, M. 2010. An Analysis of the Variability in Forty Preprocessor-Based Software Product Lines. In Proc. Int’l Conf. Software Engineering (ICSE). IEEE, Washington, DC, USA, 105–114.

    Google Scholar 

  • LOHMANN, D., SCHELER, F., TARTLER, R., SPINCZYK, O., ANDSCHRöDER-PREIKSCHAT, W. 2006. A Quantitative Analysis of Aspects in the eCos Kernel. 40, 4, 191–204.

    Google Scholar 

  • MCILROY, M. D. 1968. Mass Produced Software Components. In Proc. NATO Conf. Software Engineering. Springer, 138–155.

    Google Scholar 

  • MEDEIROS, F., LIMA, T., DALTON, F., RIBEIRO, M., GHEYI, R., ANDFONSECA, B. 2013. Colligens: A Tool to Support the Development of Preprocessor-Based Software Product Lines in C. In Proc. Brazilian Conf. Software: Theory and Practice (CBSoft). CBSOFT.

    Google Scholar 

  • MEINICKE, J., THüM, T., SCHRöTER, R., KRIETER, S., BENDUHN, F., SAAKE, G., ANDLEICH, T. 2016a. FeatureIDE: Taming the Preprocessor Wilderness. In Proc. Int’l Conf. Software Engineering (ICSE). ACM, New York, NY, USA, 629–632.

    Google Scholar 

  • MEINICKE, J., WONG, C.-P., KäSTNER, C., THüM, T., ANDSAAKE, G. 2016b. On Essential Configuration Complexity: Measuring Interactions In Highly-Configurable Systems. In Proc. Int’l Conf. Automated Software Engineering (ASE). ACM, New York, NY, USA, 483–494.

    Google Scholar 

  • MELO, J., BRABRAND, C., ANDWĄSOWSKI, A. 2016. How Does the Degree of Variability Affect Bug Finding? In Proc. Int’l Conf. Software Engineering (ICSE). ACM, New York, NY, USA, 679–690.

    Google Scholar 

  • MENDONCA, M.ANDCOWAN, D. 2010. Decision-Making Coordination and Efficient Reasoning Techniques for Feature-Based Configuration. Science of Computer Programming (SCP) 75, 5, 311–332.

    Google Scholar 

  • MEYER, B. 1988. Object-Oriented Software Construction 1st Ed. Prentice-Hall, Inc., Upper Saddle River, NJ, USA.

    Google Scholar 

  • MISRA, J. 2004. Private correspondence.

    Google Scholar 

  • MURPHY-HILL, E., PARNIN, C., ANDBLACK, A. P. 2012. How we refactor, and how we know it. IEEE Trans. Software Engineering (TSE) 38, 1, 5–18.

    Google Scholar 

  • PARNAS, D. L. 1972. On the Criteria to be used in Decomposing Systems into Modules. Comm. ACM 15, 12, 1053–1058.

    Google Scholar 

  • PARNAS, D. L. 1976. On the Design and Development of Program Families. IEEE Trans. Software Engineering (TSE) SE-2, 1, 1–9.

    Google Scholar 

  • PEREIRA, J. A., KRIETER, S., MEINICKE, J., SCHRöTER, R., SAAKE, G., ANDLEICH, T. 2016. FeatureIDE: Scalable Product Configuration of Variable Systems. In Proc. Int’l Conf. Software Reuse (ICSR). Springer, Berlin, Heidelberg, 397–401.

    Google Scholar 

  • PREHOFER, C. 1997. Feature-Oriented Programming: A Fresh Look at Objects. In Proc. Europ. Conf. Object-Oriented Programming (ECOOP). Springer, Berlin, Heidelberg, 419–443.

    Google Scholar 

  • QUEIROZ, R., PASSOS, L., VALENTE, M. T., HUNSEN, C., APEL, S., ANDCZARNECKI, K. 2017. The Shape of Feature Code: An Analysis of Twenty C-Preprocessor-Based Systems. Software and System Modeling (SoSym).

    Google Scholar 

  • RODRIGUES, I., RIBEIRO, M., MEDEIROS, F., BORBA, P., FONSECA, B., ANDGHEYI, R. 2016. Assessing Fine-Grained Feature Dependencies. J. Information and Software Technology (IST) 78, C, 27–52.

    Google Scholar 

  • RUBIN, J.ANDCHECHIK, M. 2013. A Framework for Managing Cloned Product Variants. In Proc. Int’l Conf. Software Engineering (ICSE). IEEE, Piscataway, NJ, USA, 1233–1236.

    Google Scholar 

  • RUBIN, J., CZARNECKI, K., ANDCHECHIK, M. 2013. Managing Cloned Variants: A Framework and Experience. In Proc. Int’l Software Product Line Conf. (SPLC). ACM, New York, NY, USA, 101–110.

    Google Scholar 

  • SCHAEFER, I., BETTINI, L., BONO, V., DAMIANI, F., AND TANZARELLA, N. 2010. Delta-Oriented Programming of Software Product Lines. In Proc. Int’l Software Product Line Conf. (SPLC). Springer, Berlin, Heidelberg, 77–91.

    Google Scholar 

  • SCHOBBENS, P.-Y., HEYMANS, P., TRIGAUX, J.-C., AND BONTEMPS, Y. 2007. Generic Semantics of Feature Diagrams. Computer Networks 51, 2, 456–479.

    Google Scholar 

  • SCHRöTER, R., KRIETER, S., THüM, T., BENDUHN, F., ANDSAAKE, G. 2016. Feature-Model Interfaces: The Highway to Compositional Analyses of Highly-Configurable Systems. In Proc. Int’l Conf. Software Engineering (ICSE). ACM, New York, NY, USA, 667–678.

    Google Scholar 

  • SCHRöTER, R., SIEGMUND, N., THüM, T., AND SAAKE, G. 2014. Feature-Context Interfaces: Tailored Programming Interfaces for Software Product Lines. In Proc. Int’l Software Product Line Conf. (SPLC). ACM, New York, NY, USA, 102–111.

    Google Scholar 

  • SCHULZE, S., THüM, T., KUHLEMANN, M., AND SAAKE, G. 2012. Variant-Preserving Refactoring in Feature-Oriented Software Product Lines. In Proc. Int’l Workshop Variability Modelling of Software-Intensive Systems (VaMoS). ACM, New York, NY, USA, 73–81.

    Google Scholar 

  • SEIDL, C., SCHAEFER, I., ANDASSMANN, U. 2014. DeltaEcore - A Model-Based Delta Language Generation Framework. In Proc. Modellierung. Gesellschaft für Informatik, Bonn, Germany, 81–96.

    Google Scholar 

  • SMARAGDAKIS, Y.ANDBATORY, D. 1998. Implementing Layered Designs with Mixin Layers. In Proc. Europ. Conf. Object-Oriented Programming (ECOOP). Springer, 550–570.

    Google Scholar 

  • SMARAGDAKIS, Y.ANDBATORY, D. 2002. Mixin Layers: An Object-Oriented Implementation Technique for Refinements and Collaboration-Based Designs. Trans. Software Engineering and Methodology (TOSEM) 11, 2, 215–255.

    Google Scholar 

  • SPENCER, H.ANDCOLLYER, G. 1992. #ifdef Considered Harmful, or Portability Experience With C News. In USENIX. USENIX Association, 185–197.

    Google Scholar 

  • TARR, P., OSSHER, H., HARRISON, W., ANDSUTTON, JR., S. M. 1999. N Degrees of Separation: Multi-Dimensional Separation of Concerns. In Proc. Int’l Conf. Software Engineering (ICSE). ACM, New York, NY, USA, 107–119.

    Google Scholar 

  • THüM, T. 2015. Product-Line Specification and Verification with Feature-Oriented Contracts. Ph.D. thesis, University of Magdeburg, Germany.

    Google Scholar 

  • THüM, T., BATORY, D., ANDKäSTNER, C. 2009. Reasoning about Edits to Feature Models. In Proc. Int’l Conf. Software Engineering (ICSE). IEEE, Washington, DC, USA, 254–264.

    Google Scholar 

  • THüM, T., KäSTNER, C., BENDUHN, F., MEINICKE, J., SAAKE, G., ANDLEICH, T. 2014. FeatureIDE: An Extensible Framework for Feature-Oriented Software Development. Science of Computer Programming (SCP) 79, 0, 70–85.

    Google Scholar 

  • THüM, T., KäSTNER, C., ERDWEG, S., AND SIEGMUND, N. 2011. Abstract Features in Feature Modeling. In Proc. Int’l Software Product Line Conf. (SPLC). IEEE, Washington, DC, USA, 191–200.

    Google Scholar 

  • THüM, T., LEICH, T., ANDKRIETER, S. 2016. Clean Your Variable Code with FeatureIDE. In Proc. Int’l Software Product Line Conf. (SPLC). ACM, New York, NY, USA, 308–308.

    Google Scholar 

  • THüM, T., MEINICKE, J., BENDUHN, F., HENTSCHEL, M., VON RHEIN, A., ANDSAAKE, G. 2014. Potential Synergies of Theorem Proving and Model Checking for Software Product Lines. In Proc. Int’l Software Product Line Conf. (SPLC). ACM, New York, NY, USA, 177–186.

    Google Scholar 

  • THüM, T., RIBEIRO, M., SCHRöTER, R., SIEGMUND, J., ANDDALTON, F. 2016. Product-Line Maintenance with Emergent Contract Interfaces. In Proc. Int’l Software Product Line Conf. (SPLC). ACM, New York, NY, USA, 134–143.

    Google Scholar 

  • TRINIDAD, P.ANDRUIZ-CORTéS, A. 2009. Abductive Reasoning and Automated Analysis of Feature Models: How are They Connected? In Proc. Int’l Workshop Variability Modelling of Software-Intensive Systems (VaMoS). Universität Duisburg-Essen, Essen, Germany, 145–153.

    Google Scholar 

  • WHITE, J., SCHMIDT, D. C., BENAVIDES, D., TRINIDAD, P., ANDRUIZ-CORTéS, A. 2008. Automated Diagnosis of Product-Line Configuration Errors in Feature Models. In Proc. Int’l Software Product Line Conf. (SPLC). IEEE, Washington, DC, USA, 225–234.

    Google Scholar 

  • WIKIPEDIA. 2017. System generation (os).

    Google Scholar 

  • ZHANG, W., ZHAO, H., ANDMEI, H. 2004. A Propositional Logic-Based Method for Verification of Feature Models. Formal Methods and Software Engineering, 115–130.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Carnegie Mellon University, Pittsburgh, PA, USA

    Jens Meinicke

  2. TU Braunschweig, Braunschweig, Germany

    Thomas Thüm

  3. Otto-von-Guericke Universität Magdeburg, Magdeburg, Germany

    Reimar Schröter, Fabian Benduhn & Gunter Saake

  4. Hochschule Harz, Wernigerode, Germany

    Thomas Leich

Authors
  1. Jens Meinicke
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thomas Thüm
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Reimar Schröter
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Fabian Benduhn
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Thomas Leich
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Gunter Saake
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this chapter

Cite this chapter

Meinicke, J., Thüm, T., Schröter, R., Benduhn, F., Leich, T., Saake, G. (2017). Feature Traceability in Feature Models and Configurations. In: Mastering Software Variability with FeatureIDE. Springer, Cham. https://doi.org/10.1007/978-3-319-61443-4_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-61443-4_7

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-61442-7

  • Online ISBN: 978-3-319-61443-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation