{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:25:04Z","timestamp":1725585904693},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642213465"},{"type":"electronic","value":"9783642213472"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21347-2_3","type":"book-chapter","created":{"date-parts":[[2011,6,15]],"date-time":"2011-06-15T09:04:05Z","timestamp":1308128645000},"page":"20-35","source":"Crossref","is-referenced-by-count":8,"title":["Supporting Consistency Checking between Features and Software Product Line Use Scenarios"],"prefix":"10.1007","author":[{"given":"Mauricio","family":"Alf\u00e9rez","sequence":"first","affiliation":[]},{"given":"Roberto E.","family":"Lopez-Herrejon","sequence":"additional","affiliation":[]},{"given":"Ana","family":"Moreira","sequence":"additional","affiliation":[]},{"given":"Vasco","family":"Amaral","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Int. confs. on theory and applications of satisfiability testing, \n                    \n                      http:\/\/www.satisfiability.org\/"},{"key":"3_CR2","unstructured":"Alf\u00e9rez, M.: Variability consistency checking for requirements tool, \n                    \n                      http:\/\/citi.di.fct.unl.pt\/prototype\/prototype.php?id=116"},{"key":"3_CR3","unstructured":"Alf\u00e9rez, M., Kulesza, U., Sousa, A., Santos, J., Moreira, A., Ara\u00fajo, J., Amaral, V.: A model-driven approach for software product lines requirements engineering. In: SEKE, pp. 779\u2013784 (2008)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-642-12107-4_8","volume-title":"Software Language Engineering","author":"M. Alf\u00e9rez","year":"2010","unstructured":"Alf\u00e9rez, M., Santos, J., Moreira, A., Garcia, A., Kulesza, U., Ara\u00fajo, J., Amaral, V.: Multi-view composition language for software product line requirements. In: van den Brand, M., Ga\u0161evi\u0107, D., Gray, J. (eds.) SLE 2009. LNCS, vol.\u00a05969, pp. 103\u2013122. Springer, Heidelberg (2010)"},{"key":"3_CR5","unstructured":"Batory, D.: Ahead tool suite, \n                    \n                      http:\/\/www.cs.utexas.edu\/users\/schwartz\/ATS.html"},{"issue":"6","key":"3_CR6","doi-asserted-by":"publisher","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.\u00a035(6), 615\u2013636 (2010)","journal-title":"Inf. Syst."},{"key":"3_CR7","volume-title":"Software Product Lines: Practices and Patterns","author":"P. Clements","year":"2002","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Boston (2002)"},{"key":"3_CR8","volume-title":"Generative programming: methods, tools, and applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative programming: methods, tools, and applications. ACM Press\/Addison-Wesley Publishing Co., New York (2000)"},{"key":"3_CR9","first-page":"211","volume-title":"Proc. of the GPCE 2006","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness ocl constraints. In: Proc. of the GPCE 2006, Portland, Oregon, USA, pp. 211\u2013220. ACM, New York (2006)"},{"key":"3_CR10","first-page":"292","volume-title":"Proc. of the 29th Int. Conf. on Software Engineering, ICSE 2007","author":"A. Egyed","year":"2007","unstructured":"Egyed, A.: Fixing inconsistencies in UML design models. In: Proc. of the 29th Int. Conf. on Software Engineering, ICSE 2007, pp. 292\u2013301. IEEE Computer Society, Washington, DC, USA (2007)"},{"key":"3_CR11","volume-title":"Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures","author":"H. Gomaa","year":"2004","unstructured":"Gomaa, H.: Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures. Addison Wesley Longman Publishing Co., Inc., Redwood City (2004)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/978-3-540-68237-0_27","volume-title":"FM 2008: Formal Methods","author":"A. Harhurin","year":"2008","unstructured":"Harhurin, A., Hartmann, J.: Towards consistent specifications of product families. In: Cuellar, J., Sere, K. (eds.) FM 2008. LNCS, vol.\u00a05014, pp. 390\u2013405. Springer, Heidelberg (2008)"},{"key":"3_CR13","first-page":"943","volume-title":"Companion of the 30th Int. Conf. on Software Engineering, ICSE Companion 2008","author":"F. Heidenreich","year":"2008","unstructured":"Heidenreich, F., Kopcsek, J., Wende, C.: Featuremapper: mapping features to models. In: Companion of the 30th Int. Conf. on Software Engineering, ICSE Companion 2008, Leipzig, Germany, pp. 943\u2013944. ACM, New York (2008)"},{"key":"3_CR14","volume-title":"Object-Oriented Software Engineering: A Use Case Driven Approach","author":"I. Jacobson","year":"2004","unstructured":"Jacobson, I.: Object-Oriented Software Engineering: A Use Case Driven Approach. Addison Wesley Longman Publishing Co., Inc., Redwood City (2004)"},{"key":"3_CR15","volume-title":"Aspect-Oriented Software Development with Use Cases (Addison-Wesley Object Technology Series)","author":"I. Jacobson","year":"2004","unstructured":"Jacobson, I., Ng, P.-W.: Aspect-Oriented Software Development with Use Cases (Addison-Wesley Object Technology Series). Addison-Wesley Professional, Reading (2004)"},{"key":"3_CR16","volume-title":"The Rational Unified Process: An Introduction","author":"P. Kruchten","year":"2003","unstructured":"Kruchten, P.: The Rational Unified Process: An Introduction, 3rd edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)","edition":"3"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-642-13595-8_18","volume-title":"Modelling Foundations and Applications","author":"R.E. Lopez-Herrejon","year":"2010","unstructured":"Lopez-Herrejon, R.E., Egyed, A.: Detecting inconsistencies in multi-view models with variability. In: K\u00fchne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol.\u00a06138, pp. 217\u2013232. Springer, Heidelberg (2010)"},{"key":"3_CR18","unstructured":"Morganho, H., Gomes, e.a.: Requirement specifications for industrial case studies. Deliverable D5.2, Ample Project (2008), \n                    \n                      www.ample-project.net"},{"key":"3_CR19","doi-asserted-by":"publisher","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., Linden, F.J.v.d.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc., Secaucus (2005)"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-12107-4_7","volume-title":"Software Language Engineering","author":"S. Zschaler","year":"2010","unstructured":"Zschaler, S., S\u00e1nchez, P., Santos, J., Alf\u00e9rez, M., Rashid, A., Fuentes, L., Moreira, A., Ara\u00fajo, J., Kulesza, U.: VML* \u2013 A family of languages for variability management in software product lines. In: van den Brand, M., Ga\u0161evi\u0107, D., Gray, J. (eds.) SLE 2009. LNCS, vol.\u00a05969, pp. 82\u2013102. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Top Productivity through Software Reuse"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21347-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T18:18:53Z","timestamp":1553797133000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21347-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642213465","9783642213472"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21347-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}