{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:56:13Z","timestamp":1725494173018},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540768364"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76837-1_68","type":"book-chapter","created":{"date-parts":[[2007,11,6]],"date-time":"2007-11-06T10:25:50Z","timestamp":1194344750000},"page":"624-639","source":"Crossref","is-referenced-by-count":0,"title":["Configuration Modeling Based Software Product Development"],"prefix":"10.1007","author":[{"given":"Yi-yuan","family":"Li","sequence":"first","affiliation":[]},{"given":"Jian-wei","family":"Yin","sequence":"additional","affiliation":[]},{"given":"Yin","family":"Li","sequence":"additional","affiliation":[]},{"given":"Jin-xiang","family":"Dong","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"68_CR1","unstructured":"Krueger, C.W.: Software Mass Customization. BigLever Software, Inc. (2001)"},{"key":"68_CR2","volume-title":"Software Product Lines - Practices and Patterns","author":"P.C. Clements","year":"2001","unstructured":"Clements, P.C., Northrop, L.: Software Product Lines - Practices and Patterns. Addison-Wesley, Reading (2001)"},{"key":"68_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/3-540-45652-X_2","volume-title":"Software Product Lines","author":"M. Jaring","year":"2002","unstructured":"Jaring, M., Bosch, J.: Representing Variability in Software Product Lines: A Case Study. In: Chastek, G.J. (ed.) Software Product Lines. LNCS, vol.\u00a02379, pp. 15\u201336. Springer, Heidelberg (2002)"},{"key":"68_CR4","volume-title":"Design & Use of Software Architectures - Adopting and Evolving a Product-Line Approach","author":"J. Bosch","year":"2000","unstructured":"Bosch, J.: Design & Use of Software Architectures - Adopting and Evolving a Product-Line Approach. Addison-Wesley, Reading (2000)"},{"key":"68_CR5","unstructured":"Bourke, R.: Product Configurators: Key Enabler for Mass Customization - An Overview (2000), http:\/\/www.pdmic.com\/articles\/midrange\/Aug2000.html"},{"key":"68_CR6","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0933-3657(95)00006-R","volume":"7","author":"W. Samson","year":"1995","unstructured":"Samson, W., Henrik, E., Gennari, J.: Ontology-Based Configuration of Problem-Solving Methods and Generation of Know PROT\u00c9G\u00c9-II to Protocol-Based Decision Support\u201d. Artificial Intelligence in Medicine\u00a07, 257\u2013289 (1995)","journal-title":"Artificial Intelligence in Medicine"},{"issue":"4","key":"68_CR7","first-page":"357","volume":"12","author":"T. Soininen","year":"1998","unstructured":"Soininen, T., Tiihonen, J., Mannisto, T.: Towards a General Ontology of Configuration. AI\/EDMS\u00a012(4), 357\u2013372 (1998)","journal-title":"AI\/EDMS"},{"key":"68_CR8","unstructured":"Studer, R., Eriksson, H., Gennari, J.H.: Ontologies and The Configuration of Problem-Solving Methods. In: Proceedings of 10th Knowledge Acquisition for Knowledge-base Systems Workshop, Banff (1996)"},{"key":"68_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-45652-X_11","volume-title":"Software Product Lines","author":"M. Mannion","year":"2002","unstructured":"Mannion, M.: Using First-Order Logic for Product Line Model Validation. In: Chastek, G.J. (ed.) Software Product Lines. LNCS, vol.\u00a02379, pp. 176\u2013187. Springer, Heidelberg (2002)"},{"key":"68_CR10","unstructured":"Sun, J., Zhang, H., Li, Y.F., Wang, H.: Formal Semantics and Verification for Feature Modeling. In: ICECSS 2005 (2005)"},{"key":"68_CR11","series-title":"Lecture Notes in Computer Science","first-page":"115","volume-title":"Formal Methods and Software Engineering","author":"W. Zhang","year":"2004","unstructured":"Zhang, W., Zhao, H., Mei, H.: A Propositional Logic-based Method for Verification of Feature Models. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol.\u00a03308, pp. 115\u2013130. Springer, Heidelberg (2004)"},{"key":"68_CR12","doi-asserted-by":"crossref","unstructured":"Benavides, D., Ruiz-Cort\u00e9s, A., Smith, B., O\u2019Sullivan, B., Trinidad, P.: Computational Issues on the Automated Analysis of Feature Models Using Constraint Programming. International Journal of Software Engineering and Knowledge Engineering\u00a0 (2006)","DOI":"10.1007\/11877028_16"},{"key":"68_CR13","unstructured":"Benavides, D., Ruiz-Cort\u00e9s, A., Trinidad, P.: Using Constraint Programming to Reason on Feature Models. In: Proceedings of the 7th International Conference on Software Engineering and Knowledge Engineering (2005)"},{"key":"68_CR14","doi-asserted-by":"publisher","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., Kim, G.J., Shin, E.: A Feature-Oriented Reuse Method with Domain-Specific Reference Architectures. Annals of Software Engineering\u00a05, 143\u2013168 (1998)","journal-title":"Annals of Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Advanced Parallel Processing Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76837-1_68.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T16:38:28Z","timestamp":1684082308000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76837-1_68"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540768364"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76837-1_68","relation":{},"subject":[]}}