{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T13:03:13Z","timestamp":1772024593161,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540457787","type":"print"},{"value":"9783540462354","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11877028_16","type":"book-chapter","created":{"date-parts":[[2006,11,2]],"date-time":"2006-11-02T13:27:39Z","timestamp":1162474059000},"page":"399-408","source":"Crossref","is-referenced-by-count":44,"title":["Using Java CSP Solvers in the Automated Analyses of Feature Models"],"prefix":"10.1007","author":[{"given":"David","family":"Benavides","sequence":"first","affiliation":[]},{"given":"Sergio","family":"Segura","sequence":"additional","affiliation":[]},{"given":"Pablo","family":"Trinidad","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Ruiz-Cort\u00e9s","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"D. Batory","year":"2005","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol.\u00a03714, pp. 7\u201320. Springer, Heidelberg (2005)"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Batory, D.: A tutorial on feature oriented programming and the ahead tool suite. In: Summer school on Generative and Transformation Techniques in Software Engineering (2005)","DOI":"10.1007\/11877028_1"},{"issue":"6","key":"16_CR3","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1109\/TSE.2004.23","volume":"30","author":"D. Batory","year":"2004","unstructured":"Batory, D., Sarvela, J., Rauschmayer, A.: Scaling step-wise refinement. IEEE Trans. Software Eng.\u00a030(6), 355\u2013371 (2004)","journal-title":"IEEE Trans. Software Eng."},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/11431855_34","volume-title":"Advanced Information Systems Engineering","author":"D. Benavides","year":"2005","unstructured":"Benavides, D., Ruiz-Cort\u00e9s, A., Trinidad, P.: Automated reasoning on feature models. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 491\u2013503. Springer, Heidelberg (2005)"},{"key":"16_CR5","unstructured":"Benavides, D., Ruiz-Cort\u00e9s, A., Trinidad, P.: Using constraint programming to reason on feature models. In: The Seventeenth International Conference on Software Engineering and Knowledge Engineering (SEKE 2005) (July 2005)"},{"key":"16_CR6","unstructured":"Benavides, D., Trujillo, S., Trinidad, P.: On the modularization of feature models. In: First European Workshop on Model Transformation (September 2005)"},{"key":"16_CR7","volume-title":"Design and Use of Software Architectures","author":"J. Bosch","year":"2000","unstructured":"Bosch, J.: Design and Use of Software Architectures, 1st edn. Addison-Wesley, Reading (2000)","edition":"1"},{"key":"16_CR8","series-title":"SEI Series in Software Engineering","volume-title":"Software Product Lines: Practices and Patterns","author":"P. Clements","year":"2001","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. SEI Series in Software Engineering. Addison\u2013Wesley, Reading (2001)"},{"key":"16_CR9","volume-title":"Generative Programming: Methods, Techniques, and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Techniques, and Applications. Addison\u2013Wesley, Reading (2000)"},{"issue":"1","key":"16_CR10","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1002\/spip.213","volume":"10","author":"K. Czarnecki","year":"2005","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.W.: Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice\u00a010(1), 7\u201329 (2005)","journal-title":"Software Process: Improvement and Practice"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/11554844_23","volume-title":"Software Product Lines","author":"O. D\u00edaz","year":"2005","unstructured":"D\u00edaz, O., Trujillo, S., Anfurrutia, F.I.: Supporting production strategies as refinements of the production process. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol.\u00a03714, pp. 210\u2013221. Springer, Heidelberg (2005)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-540-39406-8_6","volume-title":"Technologies for E-Services","author":"O. D\u00edaz","year":"2003","unstructured":"D\u00edaz, O., Trujillo, S., Azpeitia, I.: User-Facing Web Service Development: A Case for a Product-Line Approach. In: Benatallah, B., Shan, M.-C. (eds.) TES 2003. LNCS, vol.\u00a02819, pp. 66\u201377. Springer, Heidelberg (2003)"},{"key":"16_CR13","unstructured":"Fernandez, P., Resinas, M.: James project (2002-2005), Available at: http:\/\/jamesproject.sourceforge.net\/"},{"issue":"1","key":"16_CR14","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1023\/A:1009749006768","volume":"2","author":"E.C. Freuder","year":"1997","unstructured":"Freuder, E.C.: In pursuit of the holy grail. Constraints\u00a02(1), 57\u201361 (1997)","journal-title":"Constraints"},{"issue":"1","key":"16_CR15","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/s10270-003-0019-9","volume":"2","author":"G. Halmans","year":"2003","unstructured":"Halmans, G., Pohl, K.: Communicating the variability of a software\u2013product family to customers. Journal on Software and Systems Modeling\u00a02(1), 15\u201336 (2003)","journal-title":"Journal on Software and Systems Modeling"},{"issue":"3","key":"16_CR16","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0164-1212(03)00060-8","volume":"68","author":"S. Jarzabek","year":"2003","unstructured":"Jarzabek, S., Ong, W.C., Zhang, H.: Handling variant requirements in domain modeling. The Journal of Systems and Software\u00a068(3), 171\u2013182 (2003)","journal-title":"The Journal of Systems and Software"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, S.: Feature\u2013Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU\/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University (November 1990)","DOI":"10.21236\/ADA235785"},{"issue":"3","key":"16_CR18","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1145\/785411.785416","volume":"8","author":"K. Kuchcinski","year":"2003","unstructured":"Kuchcinski, K.: Constraints-driven scheduling and resource assignment. ACM Transactions on Design Automation of Electronic Systems (TODAES)\u00a08(3), 355\u2013383 (2003)","journal-title":"ACM Transactions on Design Automation of Electronic Systems (TODAES)"},{"key":"16_CR19","unstructured":"Laburthe, F., Jussien, N.: Choco constraint programming system (2003-2005), Available at: http:\/\/choco.sourceforge.net\/"},{"issue":"6","key":"16_CR20","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1002\/cpe.583","volume":"13","author":"C. Prehofer","year":"2001","unstructured":"Prehofer, C.: Feature-oriented programming: A new way of object composition. Concurrency and Computation: Practice and Experience\u00a013(6), 465\u2013501 (2001)","journal-title":"Concurrency and Computation: Practice and Experience"}],"container-title":["Lecture Notes in Computer Science","Generative and Transformational Techniques in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11877028_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:49:34Z","timestamp":1605642574000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11877028_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540457787","9783540462354"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11877028_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}