{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T22:03:51Z","timestamp":1776031431179,"version":"3.50.1"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2011,8,2]],"date-time":"2011-08-02T00:00:00Z","timestamp":1312243200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1007\/s11219-011-9156-5","type":"journal-article","created":{"date-parts":[[2011,8,1]],"date-time":"2011-08-01T16:59:03Z","timestamp":1312217943000},"page":"519-565","source":"Crossref","is-referenced-by-count":31,"title":["Quality-aware analysis in product line engineering with the orthogonal variability model"],"prefix":"10.1007","volume":"20","author":[{"given":"Fabricia","family":"Roos-Frantz","sequence":"first","affiliation":[]},{"given":"David","family":"Benavides","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Ruiz-Cort\u00e9s","sequence":"additional","affiliation":[]},{"given":"Andr\u00e9","family":"Heuer","sequence":"additional","affiliation":[]},{"given":"Kim","family":"Lauenroth","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,8,2]]},"reference":[{"key":"9156_CR1","doi-asserted-by":"crossref","unstructured":"Bagheri, E., Di Noia, T., Ragone, A., & Gasevic, D. (2010). Configuring software product line feature models based on stakeholders\u2019 soft and hard requirements. In Proceedings of the 14th international conference on Software product lines, SPLC\u201910 (pp. 16\u201331). Springer, Berlin.","DOI":"10.1007\/978-3-642-15579-6_2"},{"key":"9156_CR2","doi-asserted-by":"crossref","unstructured":"Batory, D. (2005). Feature models, grammars, and propositional formulas. In 9th international software product line conference (Vol. 3714, pp. 7\u201320). Springer, LNCS.","DOI":"10.1007\/11554844_3"},{"issue":"12","key":"9156_CR3","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/1183236.1183264","volume":"49","author":"D. Batory","year":"2006","unstructured":"Batory, D., Benavides, D., & Ruiz-Cort\u00e9s, A. (2006). Automated analysis of feature models: Challenges ahead. Communications of the ACM, 49(12), 45\u201347.","journal-title":"Communications of the ACM"},{"key":"9156_CR4","doi-asserted-by":"crossref","unstructured":"Benavides, D., Trinidad, P., & Ruiz-Cort\u00e9s, A. (2005). Automated reasoning on feature models. In 17th international conference advanced information systems engineering (Vol. 3520, pp. 491\u2013503). Springer, LNCS","DOI":"10.1007\/11431855_34"},{"issue":"6","key":"9156_CR5","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D. Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., & Ruiz-Cort\u00e9s, A. (2010). Automated analysis of feature models 20\u00a0years later: A literature review. Information Systems, 35(6), 615\u2013636.","journal-title":"Information Systems"},{"key":"9156_CR6","unstructured":"Berre, D. L., Parrain, A. (2010). Sat4j solver. http:\/\/www.sat4j.or ."},{"key":"9156_CR7","unstructured":"Chen, L., Babar, M. A., & Ali, N. (2009). Variability management in software product lines: A systematic review. In 13th international software product line conference (pp. 81\u201390). Pittsburgh, PA: Carnegie Mellon University."},{"issue":"1","key":"9156_CR8","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1002\/spip.213","volume":"10","author":"K. Czarnecki","year":"2005","unstructured":"Czarnecki, K., Helsen, S., & Eisenecker, U. (2005). Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice, 10(1), 7\u201329.","journal-title":"Software Process: Improvement and Practice"},{"key":"9156_CR9","unstructured":"Dhungana, D., Rabiser, R., Gr\u00fcnbacher, P., & Neumayer, T. (2007). Integrated tool support for software product line engineering. In 22nd IEEE\/ACM international conference on automated Software Engineering (pp. 533\u2013534). New York, NY: ACM."},{"key":"9156_CR10","unstructured":"Dhungana, D., Heymans, P., & Rabiser, R. (2010). A formal semantics for decision-oriented variability modeling with dopler. In Fourth international workshop on variability modelling of software\u2013intensive systems (pp. 29\u201335)."},{"issue":"4","key":"9156_CR11","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1142\/S0218194000000249","volume":"10","author":"A. Felfernig","year":"2000","unstructured":"Felfernig, A., Friedrich, G. E., & Jannach, D. (2000). UML as domain specific language for the construction of knowledge-based configuration systems. International Journal of Software Engineering and Knowledge Engineering (IJSEKE), 10(4), 449\u2013469.","journal-title":"International Journal of Software Engineering and Knowledge Engineering (IJSEKE)"},{"issue":"Special Issue 0","key":"9156_CR12","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1017\/S0890060410000600","volume":"25","author":"R. Finkel","year":"2011","unstructured":"Finkel, R., & O\u2019Sullivan, B. (2011). Reasoning about conditional constraint specification problems and feature models. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 25(Special Issue 02), 163\u2013174.","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing"},{"key":"9156_CR13","unstructured":"Foundation, E. (2011). Xtext\u2014language development framework. http:\/\/www.eclipse.org\/Xtex"},{"issue":"8","key":"9156_CR14","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1016\/j.infsof.2005.07.001","volume":"48","author":"F. Garcia","year":"2006","unstructured":"Garcia, F., Bertoa, M., Calero, C., Vallecillo, A., Ruiz, F., Piattini, M., et al. (2006). Towards a consistent terminology for software measurement. Information and Software Technology 48(8), 631\u2013644.","journal-title":"Information and Software Technology"},{"key":"9156_CR15","unstructured":"Heuer, A., Lauenroth, K., M\u00fcller, M., & Scheele, J. N. (2010). Towards effective visual modeling of complex software product lines. In Proceedings of the 3rd international workshop on visualisation in software product line engineering (VISPLE) in proceedings of the 14th international software product line conference (Vol. 2, pp. 229\u2013237)."},{"key":"9156_CR16","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., & Peterson, S. (1990). Feature\u2013Oriented Domain Analysis (FODA) Feasibility Study. Tech. Rep. CMU\/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University.","DOI":"10.21236\/ADA235785"},{"issue":"1","key":"9156_CR17","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1023\/A:1018980625587","volume":"5","author":"K. C. Kang","year":"1998","unstructured":"Kang, K. C., Kim, S., Lee, J., Kim, K., Shin, E., & Huh, M. (1998). FORM: A feature\u2013oriented reuse method with domain\u2013specific reference architectures. Annals of Software Engineering 5(1), 143\u2013168.","journal-title":"Annals of Software Engineering"},{"key":"9156_CR18","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1007\/978-3-642-15579-6_20","volume-title":"Software product lines: Going beyond, LNCS","author":"A. Karata\u015f","year":"2010","unstructured":"Karata\u015f, A., O\u011fuzt\u00fcz\u00fcn, H., & Do\u011fru, A. (2010). Mapping extended feature models to constraint logic programming over finite domains. In J. Bosch, J. Lee (Eds.), Software product lines: Going beyond, LNCS (Vol. 6287, pp. 286\u2013299). Berlin\/Heidelberg: Springer."},{"key":"9156_CR19","unstructured":"Laburthe, F., Jussien, N., Rochart, G., Cambazard, H., Prud\u2019homme, C., Malapert, A., et al. (2010). Choco solver. http:\/\/www.choco.emn.f ."},{"key":"9156_CR20","doi-asserted-by":"crossref","unstructured":"Metzger, A., & Pohl, K. (2007). Variability management in software product line engineering. In 29th international conference on software engineering (ICSE companion) (pp. 186\u2013187). IEEE Computer Society.","DOI":"10.1109\/ICSECOMPANION.2007.83"},{"key":"9156_CR21","doi-asserted-by":"crossref","unstructured":"Metzger, A., Pohl, K., Heymans, P., Schobbens, P., & Saval, G. (2007). Disambiguating the documentation of variability in software product lines: A separation of concerns, formalization and automated analysis. In 15th international requirements engineering conference (pp. 243\u2013253).","DOI":"10.1109\/RE.2007.61"},{"key":"9156_CR22","unstructured":"Montagud, S., & Abrah\u00e3o, S. (2009). Gathering current knowledge about quality evaluation in software product lines. In SPLC \u201909: Proceedings of the 13th international software product line conference (pp. 91\u2013100). Pittsburgh, PA: Carnegie Mellon University."},{"key":"9156_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software product line engineering: Foundations, principles and techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., & van der Linden, F. J. (2005). Software product line engineering: Foundations, principles and techniques. Berlin, Heidelberg, New York: Springer."},{"issue":"7","key":"9156_CR24","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1016\/j.infsof.2006.08.001","volume":"49","author":"M. Sinnema","year":"2007","unstructured":"Sinnema, M., & Deelstra, S. (2007). Classifying variability modeling techniques. Information & Software Technology, 49(7), 717\u2013739.","journal-title":"Information & Software Technology"},{"key":"9156_CR25","doi-asserted-by":"crossref","unstructured":"Sinnema, M., Deelstra, S., Nijhuis, J., & Bosch, J. (2004). COVAMOF: A framework for modeling variability in software product families. In Third software product line conference (Vol. 3154, pp. 197\u2013213). Springer, LNCS.","DOI":"10.1007\/978-3-540-28630-1_12"},{"issue":"6","key":"9156_CR26","doi-asserted-by":"crossref","first-page":"883","DOI":"10.1016\/j.jss.2007.10.030","volume":"81","author":"P. Trinidad","year":"2008","unstructured":"Trinidad, P., Benavides, D., Dur\u00e1n, A., Ruiz-Cort\u00e9s, A., & Toro, M. (2008). Automated error analysis for the agilization of feature modeling. Journal of Systems and Software, 81(6), 883\u2013896.","journal-title":"Journal of Systems and Software"},{"key":"9156_CR27","doi-asserted-by":"crossref","unstructured":"Trinidad, P., Benavides, D., Ruiz-Cort\u00e9s, A., Segura, S., & Jimenez, A. (2008). Fama framework. In 12th international software product line conference\u2014tool demonstrations (pp. 359\u2013359). IEEE Computer Society.","DOI":"10.1109\/SPLC.2008.50"},{"key":"9156_CR28","volume-title":"Foundations of constraint satisfaction","author":"E. Tsang","year":"1993","unstructured":"Tsang, E. (1993). Foundations of constraint satisfaction. London and San Diego: Academic Press."},{"key":"9156_CR29","unstructured":"Tun, T. T., Boucher, Q., Classen, A., Hubaux, A., & Heymans, P. (2009). Relating requirements and feature configurations: A systematic approach. In Software product lines, 13th international conference, SPLC 2009, ACM international conference proceeding series (Vol. 446, pp. 201\u2013210)."},{"issue":"8","key":"9156_CR30","doi-asserted-by":"crossref","first-page":"1268","DOI":"10.1016\/j.jss.2009.02.011","volume":"82","author":"J. White","year":"2009","unstructured":"White, J., Dougherty, B., & Schmidt, D. C . (2009). Selecting highly optimal architectural feature sets with filtered cartesian flattening. Journal of Systems and Software, 82(8), 1268\u20131284.","journal-title":"Journal of Systems and Software"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-011-9156-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-011-9156-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-011-9156-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T16:49:40Z","timestamp":1560444580000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-011-9156-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8,2]]},"references-count":30,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2012,9]]}},"alternative-id":["9156"],"URL":"https:\/\/doi.org\/10.1007\/s11219-011-9156-5","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,8,2]]}}}