{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:25:19Z","timestamp":1725585919716},"publisher-location":"Berlin, Heidelberg","reference-count":10,"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_2","type":"book-chapter","created":{"date-parts":[[2011,6,15]],"date-time":"2011-06-15T13:04:05Z","timestamp":1308143045000},"page":"4-19","source":"Crossref","is-referenced-by-count":3,"title":["Binary-Search Based Verification of Feature Models"],"prefix":"10.1007","author":[{"given":"Wei","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Haiyan","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Hong","family":"Mei","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_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":"2_CR2","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":"2_CR3","unstructured":"Czarnecki, K., Kim, C.H.P.: Cardinality-Based Feature Modeling and Constraints: A Progress Report. In: OOPSLA 2005 International Workshop on Software Factories (2005)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis Feasibility Study. Technical Reports, SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University (1990)","DOI":"10.21236\/ADA235785"},{"key":"2_CR5","unstructured":"von der Ma\u00dfen, T., Lichter, H.: Deficiencies in feature models. In: Workshop on Software Variability Management for Product Derivation, in Conjunction with the 3rd Software Product Line Conference (2004)"},{"key":"2_CR6","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.) SPLC 2002. LNCS, vol.\u00a02379, pp. 176\u2013187. Springer, Heidelberg (2002)"},{"issue":"6","key":"2_CR7","doi-asserted-by":"publisher","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.: Automated Error Analysis for the Agilization of Feature Modeling. Journal of Systems and Software\u00a081(6), 883\u2013896 (2008)","journal-title":"Journal of Systems and Software"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-642-04211-9_7","volume-title":"Formal Foundations of Reuse and Domain Engineering","author":"H. Yan","year":"2009","unstructured":"Yan, H., Zhang, W., Zhao, H., Mei, H.: An Optimization Strategy to Feature Models\u2019 Verification by Eliminating Verification-Irrelevant Features and Constraints. In: Edwards, S.H., Kulczycki, G. (eds.) ICSR 2009. LNCS, vol.\u00a05791, pp. 65\u201375. Springer, Heidelberg (2009)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Zhang, W., Zhao, H., Mei, H.: A Propositional Logic-Based Method for Verification of Feature Models. In: 6th International Conference on Formal Engineering Methods, pp. 115\u2013130 (2004)","DOI":"10.1007\/978-3-540-30482-1_16"},{"issue":"3","key":"2_CR10","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s00766-006-0033-x","volume":"11","author":"W. Zhang","year":"2006","unstructured":"Zhang, W., Mei, H., Zhao, H.: Feature-Driven Requirements Dependency Analysis and High-Level Software Design. Requirements Engineering Journal\u00a011(3), 205\u2013220 (2006)","journal-title":"Requirements Engineering Journal"}],"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_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T22:01:58Z","timestamp":1553810518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21347-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642213465","9783642213472"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21347-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}