{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T06:42:51Z","timestamp":1725432171560},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,1,19]],"date-time":"2013-01-19T00:00:00Z","timestamp":1358553600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s10515-012-0117-4","type":"journal-article","created":{"date-parts":[[2013,1,18]],"date-time":"2013-01-18T15:25:43Z","timestamp":1358522743000},"page":"265-296","source":"Crossref","is-referenced-by-count":20,"title":["C2O configurator: a tool for guided decision-making"],"prefix":"10.1007","volume":"20","author":[{"given":"Alexander","family":"N\u00f6hrer","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,1,19]]},"reference":[{"key":"117_CR1","volume-title":"Workshop on Software Variability Management for Product Derivation in Conjunction with SPLC","author":"T. Asikainen","year":"2004","unstructured":"Asikainen, T., M\u00e4nnist\u00f6, T., Soininen, T.: Using a configurator for modelling and configuring software product lines based on feature models. In: Workshop on Software Variability Management for Product Derivation in Conjunction with SPLC, Boston, Massachusetts, USA (2004)"},{"key":"117_CR2","first-page":"158","volume-title":"13th ICSE","author":"R. Balzer","year":"1991","unstructured":"Balzer, R.: Tolerating inconsistency. In: 13th ICSE, Austin, Texas, USA, pp. 158\u2013165 (1991)"},{"issue":"6","key":"117_CR3","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., Cort\u00e9s, A.R.: Automated analysis of feature models 20 years later: a literature review. Inf. Syst. 35(6), 615\u2013636 (2010)","journal-title":"Inf. Syst."},{"issue":"2\u20133","key":"117_CR4","first-page":"56","volume":"7","author":"D.L. Berre","year":"2010","unstructured":"Berre, D.L., Parrain, A.: The Sat4j library, release 2.2. J. Satisf. Boolean Model. Comput. 7(2\u20133), 56\u201359 (2010)","journal-title":"J. Satisf. Boolean Model. Comput."},{"issue":"2\u20134","key":"117_CR5","first-page":"75","volume":"4","author":"A. Biere","year":"2008","unstructured":"Biere, A.: PicoSAT essentials. J. Satisf. Boolean Model. Comput. 4(2\u20134), 75\u201397 (2008)","journal-title":"J. Satisf. Boolean Model. Comput."},{"key":"117_CR6","series-title":"ICB Research Report","first-page":"165","volume-title":"VaMoS","author":"G. Botterweck","year":"2009","unstructured":"Botterweck, G., Janota, M., Schneeweiss, D.: A design of a configurable feature model configurator. In: Benavides, D., Metzger, A., Eisenecker, U.W. (eds.) VaMoS. ICB Research Report, vol. 29, pp.\u00a0165\u2013168. Universit\u00e4t Duisburg-Essen, Essen (2009)"},{"key":"117_CR7","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1145\/1181775.1181801","volume-title":"14th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"R.L. Cobleigh","year":"2006","unstructured":"Cobleigh, R.L., Avrunin, G.S., Clarke, L.A.: User guidance for creating precise and accessible property specifications. In: 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Portland, Oregon, USA, pp. 208\u2013218 (2006)"},{"issue":"7","key":"117_CR8","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.W.: A machine program for theorem-proving. Commun. ACM 5(7), 394\u2013397 (1962)","journal-title":"Commun. ACM"},{"key":"117_CR9","first-page":"151","volume-title":"Software Product Lines, 11th International Conference","author":"D. Dhungana","year":"2007","unstructured":"Dhungana, D., Rabiser, R., Gr\u00fcnbacher, P., Lehner, K., Federspiel, C.: DOPLER: An adaptable tool suite for product line engineering. In: Software Product Lines, 11th International Conference, Kyoto, Japan, pp. 151\u2013152 (2007)"},{"key":"117_CR10","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/s10515-010-0076-6","volume":"18","author":"D. Dhungana","year":"2011","unstructured":"Dhungana, D., Gr\u00fcnbacher, P., Rabiser, R.: The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study. Autom. Softw. Eng. 18, 77\u2013114 (2011)","journal-title":"Autom. Softw. Eng."},{"key":"117_CR11","first-page":"381","volume-title":"28th ICSE","author":"A. Egyed","year":"2006","unstructured":"Egyed, A.: Instant consistency checking for the UML. In: 28th ICSE, Shanghai, China, pp. 381\u2013390 (2006)"},{"key":"117_CR12","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1109\/ASE.2008.46","volume-title":"23rd IEEE\/ACM International Conference on Automated Software Engineering","author":"P. Gr\u00fcnbacher","year":"2008","unstructured":"Gr\u00fcnbacher, P., Rabiser, R., Dhungana, D.: Product line tools are product lines too: lessons learned from developing a tool suite. In: 23rd IEEE\/ACM International Conference on Automated Software Engineering, L\u2019Aquila, Italy, pp. 351\u2013354 (2008)"},{"key":"117_CR13","first-page":"25","volume-title":"IDS","author":"D. Haw","year":"1994","unstructured":"Haw, D., Goble, C.A., Rector, A.L.: GUIDANCE: Making it easy for the user to be an expert. In: IDS, pp.\u00a025\u201348 (1994)"},{"key":"117_CR14","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1145\/1107656.1107661","volume-title":"3rd International Workshop on Traceability in Emerging Forms of Software Engineering","author":"J.H. Hayes","year":"2005","unstructured":"Hayes, J.H., Dekhtyar, A.: Humans in the traceability loop: can\u2019t live with \u2019em, can\u2019t live without \u2019em. In: 3rd International Workshop on Traceability in Emerging Forms of Software Engineering, New York, NY, USA, pp. 20\u201323. ACM, New York (2005)"},{"key":"117_CR15","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1145\/67449.67497","volume-title":"SIGCHI Conference on Human Factors in Computing Systems: Wings for the Mind","author":"A. MacLean","year":"1989","unstructured":"MacLean, A., Young, R.M., Moran, T.P.: Design rationale: the argument behind the artifact. In: SIGCHI Conference on Human Factors in Computing Systems: Wings for the Mind, CHI \u201989, New York, NY, USA, pp. 247\u2013252. ACM, New York (1989)"},{"key":"117_CR16","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1145\/1639950.1640002","volume-title":"24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications","author":"M. Mendonca","year":"2009","unstructured":"Mendonca, M., Branco, M., Cowan, D.: S.P.L.O.T.: software product lines online tools. In: 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, New York, NY, USA, pp. 761\u2013762. ACM, New York (2009a)"},{"key":"117_CR17","first-page":"231","volume-title":"Software Product Lines, 13th International Conference","author":"M. Mendon\u00e7a","year":"2009","unstructured":"Mendon\u00e7a, M., Wasowski, A., Czarnecki, K.: SAT-based analysis of feature models is easy. In: Software Product Lines, 13th International Conference, San Francisco, California, USA, pp. 231\u2013240 (2009b)"},{"key":"117_CR18","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1037\/h0043158","volume":"63","author":"G.A. Miller","year":"1956","unstructured":"Miller, G.A.: The magical number seven, plus or minus two: some limits on our capacity for processing information. Psychol. Rev. 63, 81\u201397 (1956)","journal-title":"Psychol. Rev."},{"key":"117_CR19","first-page":"363","volume-title":"25th International Conference on Automated Software Engineering","author":"A. N\u00f6hrer","year":"2010","unstructured":"N\u00f6hrer, A., Egyed, A.: C2O: a tool for guided decision-making. In: 25th International Conference on Automated Software Engineering, Antwerp, Belgium, pp. 363\u2013364 (2010a)"},{"key":"117_CR20","first-page":"107","volume-title":"Fourth International Workshop on Variability Modelling of Software-Intensive Systems","author":"A. N\u00f6hrer","year":"2010","unstructured":"N\u00f6hrer, A., Egyed, A.: Conflict resolution strategies during product configuration. In: Fourth International Workshop on Variability Modelling of Software-Intensive Systems. Linz, Austria, vol. 37, pp.\u00a0107\u2013114. Universit\u00e4t Duisburg-Essen, Essen (2010b). ICB Research Report"},{"key":"117_CR21","volume-title":"Software Product Lines, 15th International Conference","author":"A. N\u00f6hrer","year":"2011","unstructured":"N\u00f6hrer, A., Egyed, A.: Optimizing user guidance during decision-making. In: Software Product Lines, 15th International Conference, Munich, Germany (2011)"},{"key":"117_CR22","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/2110147.2110157","volume-title":"VaMoS","author":"A. N\u00f6hrer","year":"2012","unstructured":"N\u00f6hrer, A., Biere, A., Egyed, A.: Managing SAT inconsistencies with HUMUS. In: Eisenecker, U.W., Apel, S., Gnesi, S. (eds.) VaMoS, pp. 83\u201391. ACM, New York (2012)"},{"key":"117_CR23","first-page":"22","volume-title":"SPLC Workshops","author":"A. Pleuss","year":"2011","unstructured":"Pleuss, A., Rabiser, R., Botterweck, G.: Visualization techniques for application in interactive product configuration. In: Schaefer, I., John, I., Schmid, K. (eds.) SPLC Workshops, p. 22. ACM, New York (2011)"},{"issue":"2","key":"117_CR24","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/s10270-008-0090-3","volume":"8","author":"M.L. Rosa","year":"2009","unstructured":"Rosa, M.L., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Questionnaire-based variability modeling for system configuration. Softw. Syst. Model. 8(2), 251\u2013274 (2009)","journal-title":"Softw. Syst. Model."},{"key":"117_CR25","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1145\/1985793.1985856","volume-title":"Proceedings of the 33rd International Conference on Software Engineering, ICSE \u201911","author":"S. She","year":"2011","unstructured":"She, S., Lotufo, R., Berger, T., W\u0105sowski, A., Czarnecki, K.: Reverse engineering feature models. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE \u201911, New York, NY, USA, pp. 461\u2013470. ACM, New York (2011)"},{"key":"117_CR26","first-page":"160","volume-title":"SPLC","author":"N. Siegmund","year":"2011","unstructured":"Siegmund, N., Rosenm\u00fcller, M., K\u00e4stner, C., Giarrusso, P.G., Apel, S., Kolesnikov, S.S.: Scalable prediction of non-functional properties in software product lines. In: de Almeida, E.S., Kishi, T., Schwanninger, C., John, I., Schmid, K. (eds.) SPLC, pp. 160\u2013169. IEEE Press, New York (2011)"},{"key":"117_CR27","first-page":"359","volume-title":"Software Product Lines, 12th International Conference","author":"P. Trinidad","year":"2008","unstructured":"Trinidad, P., Benavides, D., Cort\u00e9s, A.R., Segura, S., Jimenez, A.: FAMA framework. In: Software Product Lines, 12th International Conference, Limerick, Ireland, p. 359 (2008)"},{"key":"117_CR28","doi-asserted-by":"crossref","first-page":"466","DOI":"10.1007\/978-3-642-81955-1_28","volume-title":"Automation of Reasoning 2: Classical Papers on Computational Logic 1967\u20131970","author":"G.S. Tseitin","year":"1983","unstructured":"Tseitin, G.S.: On the complexity of derivation in propositional calculus. In: Siekmann, J., Wrightson, G. (eds.) Automation of Reasoning 2: Classical Papers on Computational Logic 1967\u20131970, pp. 466\u2013483. Springer, Berlin (1983)"},{"key":"117_CR29","first-page":"917","volume-title":"Conference on Human Factors in Computing Systems","author":"C. Nimwegen van","year":"2006","unstructured":"van Nimwegen, C., Burgos, D.D., van Oostendorp, H., Schijf, H.: The paradox of the assisted user: guidance can be counterproductive. In: Conference on Human Factors in Computing Systems, Montr\u00e9al, Qu\u00e9bec, Canada, pp. 917\u2013926 (2006)"},{"issue":"6","key":"117_CR30","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1109\/5254.972095","volume":"16","author":"K.J. Vicente","year":"2001","unstructured":"Vicente, K.J.: Crazy clocks: counterintuitive consequences of \u201cIntelligent\u201d automation. IEEE Intell. Syst. 16(6), 74\u201376 (2001)","journal-title":"IEEE Intell. Syst."},{"key":"117_CR31","first-page":"225","volume-title":"Software Product Lines, 12th International Conference","author":"J. White","year":"2008","unstructured":"White, J., Schmidt, D.C., Benavides, D., Trinidad, P., Cort\u00e9s, A.R.: Automated diagnosis of product-line configuration errors in feature models. In: Software Product Lines, 12th International Conference, Limerick, Ireland, pp. 225\u2013234 (2008)"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-012-0117-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-012-0117-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-012-0117-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,8]],"date-time":"2019-07-08T13:36:47Z","timestamp":1562593007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-012-0117-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,19]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["117"],"URL":"http:\/\/dx.doi.org\/10.1007\/s10515-012-0117-4","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,19]]}}}
