{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:49:02Z","timestamp":1760586542169},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642155789"},{"type":"electronic","value":"9783642155796"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15579-6_40","type":"book-chapter","created":{"date-parts":[[2010,9,7]],"date-time":"2010-09-07T03:09:34Z","timestamp":1283828974000},"page":"476-480","source":"Crossref","is-referenced-by-count":7,"title":["Feature Diagrams as Package Dependencies"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Di Cosmo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Zacchiroli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"40_CR1","first-page":"89","volume-title":"ESEM 2009","author":"P. Abate","year":"2009","unstructured":"Abate, P., Boender, J., Di Cosmo, R., Zacchiroli, S.: Strong dependencies between software components. In: ESEM 2009, pp. 89\u201399. IEEE, Los Alamitos (2009)"},{"key":"40_CR2","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":"40_CR3","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., Mart\u00edn-Arroyo, P.T., Cort\u00e9s, A.R.: 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":"40_CR4","volume-title":"IWOCE 2009","author":"D.L. Berre","year":"2009","unstructured":"Berre, D.L., Rapicault, P.: Dependency management for the Eclipse ecosystem. In: IWOCE 2009. ACM, New York (2009)"},{"key":"40_CR5","first-page":"1240","volume-title":"COMPSAC","author":"J. Boender","year":"2008","unstructured":"Boender, J., Di Cosmo, R., Vouillon, J., Durak, B., Mancinelli, F.: Improving the quality of GNU\/Linux distributions. In: COMPSAC, pp. 1240\u20131246. IEEE, Los Alamitos (2008)"},{"key":"40_CR6","unstructured":"de Jonge, M., Visser, J.: Grammars as feature diagrams. In: ICSR7 Workshop on Generative Programming. pp. 23\u201324 (2002)"},{"key":"40_CR7","volume-title":"HotSWup 2008","author":"R. Cosmo Di","year":"2008","unstructured":"Di Cosmo, R., Trezentos, P., Zacchiroli, S.: Package upgrades in FOSS distributions: Details and challenges. In: HotSWup 2008. ACM, New York (2008)"},{"key":"40_CR8","unstructured":"EDOS project, WP2 team: Report on formal management of software dependencies. Deliverable Work Package 2, Deliverable 2 (2006)"},{"key":"40_CR9","unstructured":"Janota, M.: Do sat solvers make good configurators? In: SPLC 2008, Second Volume (Workshops), pp. 191\u2013195 (2008)"},{"key":"40_CR10","first-page":"13","volume-title":"SPLC","author":"M. Janota","year":"2007","unstructured":"Janota, M., Kiniry, J.: Reasoning about feature models in higher-order logic. In: SPLC, pp. 13\u201322. IEEE Computer Society, Los Alamitos (2007)"},{"key":"40_CR11","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis (FODA) feasibility study. Tech. rep., CMU (1990)","DOI":"10.21236\/ADA235785"},{"key":"40_CR12","unstructured":"Le Berre, D., Parrain, A.: On SAT technologies for dependency management and beyond. In: ASPL 2008 (2008)"},{"key":"40_CR13","first-page":"199","volume-title":"ASE 2006","author":"F. Mancinelli","year":"2006","unstructured":"Mancinelli, F., Boender, J., Di Cosmo, R., Vouillon, J., Durak, B., Leroy, X., Treinen, R.: Managing the complexity of large free and open source package-based software distributions. In: ASE 2006, pp. 199\u2013208. IEEE, Los Alamitos (2006)"},{"key":"40_CR14","first-page":"136","volume-title":"RE 2006","author":"P.Y. Schobbens","year":"2006","unstructured":"Schobbens, P.Y., Heymans, P., Trigaux, J.C.: Feature diagrams: A survey and a formal semantics. In: RE 2006, pp. 136\u2013145. IEEE, Los Alamitos (2006)"},{"key":"40_CR15","unstructured":"Treinen, R., Zacchiroli, S.: Solving package dependencies: from EDOS to Mancoosi. In: DebConf 8: proceedings of the 9th conference of the Debian project (2008)"},{"key":"40_CR16","doi-asserted-by":"crossref","unstructured":"Tucker, C., Shuffelton, D., Jhala, R., Lerner, S.: OPIUM: Optimal package install\/uninstall manager. In: ICSE 2007, pp. 178\u2013188 (2007)","DOI":"10.1109\/ICSE.2007.59"}],"container-title":["Lecture Notes in Computer Science","Software Product Lines: Going Beyond"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15579-6_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T20:16:28Z","timestamp":1559592988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15579-6_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642155789","9783642155796"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15579-6_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}