{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:50:19Z","timestamp":1725745819036},"publisher-location":"Berlin, Heidelberg","reference-count":55,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406140"},{"type":"electronic","value":"9783642406157"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40615-7_8","type":"book-chapter","created":{"date-parts":[[2013,8,21]],"date-time":"2013-08-21T21:08:02Z","timestamp":1377119282000},"page":"216-239","source":"Crossref","is-referenced-by-count":2,"title":["Formal Aspects of Free and Open Source Software Components"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Di Cosmo","sequence":"first","affiliation":[]},{"given":"Ralf","family":"Treinen","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Zacchiroli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Abate, P., Boender, J., Di Cosmo, R., Zacchiroli, S.: Strong dependencies between software components. In: ESEM 2009: 3rd International Symposium on Empirical Software Engineering and Measurement, pp. 89\u201399 (2009)","key":"8_CR1","DOI":"10.1109\/ESEM.2009.5316017"},{"doi-asserted-by":"crossref","unstructured":"Abate, P., Di Cosmo, R.: Predicting upgrade failures using dependency analysis. In: Abiteboul, S., B\u00f6hm, K., Koch, C., Tan, K.L. (eds.) Workshops Proceedings of the 27th International Conference on Data Engineering, ICDE 2011, Hannover, Germany, April 11-16, pp. 145\u2013150. IEEE (2011)","key":"8_CR2","DOI":"10.1109\/ICDEW.2011.5767626"},{"doi-asserted-by":"crossref","unstructured":"Abate, P., Di Cosmo, R., Treinen, R., Zacchiroli, S.: Mpm: a modular package manager. In: CBSE 2011: 14th International ACM SIGSOFT Symposium on Component Based Software Engineering, pp. 179\u2013188. ACM (2011)","key":"8_CR3","DOI":"10.1145\/2000229.2000255"},{"issue":"10","key":"8_CR4","doi-asserted-by":"publisher","first-page":"2228","DOI":"10.1016\/j.jss.2012.02.018","volume":"85","author":"P. Abate","year":"2012","unstructured":"Abate, P., Di Cosmo, R., Treinen, R., Zacchiroli, S.: Dependency solving: a separate concern in component evolution management. Journal of Systems and Software\u00a085(10), 2228\u20132240 (2012)","journal-title":"Journal of Systems and Software"},{"doi-asserted-by":"crossref","unstructured":"Abate, P., Di Cosmo, R., Treinen, R., Zacchiroli, S.: Learning from the future of component repositories. In: CBSE 2012: 15th International ACM SIGSOFT Symposium on Component Based Software Engineering, pp. 51\u201360. ACM (2012)","key":"8_CR5","DOI":"10.1145\/2304736.2304747"},{"doi-asserted-by":"crossref","unstructured":"Abate, P., Di Cosmo, R., Treinen, R., Zacchiroli, S.: Learning from the future of component repositories. Science of Computer Programming (2012) (to appear)","key":"8_CR6","DOI":"10.1145\/2304736.2304747"},{"issue":"2","key":"8_CR7","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1016\/j.infsof.2012.09.002","volume":"55","author":"P. Abate","year":"2013","unstructured":"Abate, P., Di Cosmo, R., Treinen, R., Zacchiroli, S.: A modular package manager architecture. Information and Software Technology\u00a055(2), 459\u2013474 (2013)","journal-title":"Information and Software Technology"},{"issue":"6794","key":"8_CR8","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1038\/35019019","volume":"406","author":"R. Albert","year":"2000","unstructured":"Albert, R., Jeong, H., Barab\u00e1si, A.L.: Error and attack tolerance of complex networks. Nature\u00a0406(6794), 378\u2013382 (2000)","journal-title":"Nature"},{"doi-asserted-by":"crossref","unstructured":"Argelich, J., Le Berre, D., Lynce, I., Marques-Silva, J., Rapicault, P.: Solving Linux upgradeability problems using boolean optimization. In: LoCoCo: Logics for Component Configuration. EPTCS, vol.\u00a029, pp. 11\u201322 (2010)","key":"8_CR9","DOI":"10.4204\/EPTCS.29.2"},{"unstructured":"Artho, C.V., Di Cosmo, R., Suzaki, K., Zacchiroli, S.: Sources of inter-package conflicts in debian. In: LoCoCo 2011 International Workshop on Logics for Component Configuration (2011)","key":"8_CR10"},{"doi-asserted-by":"crossref","unstructured":"Artho, C.V., Suzaki, K., Di Cosmo, R., Treinen, R., Zacchiroli, S.: Why do software packages conflict? In: MSR 2012: 9th IEEE Working Conference on Mining Software Repositories, pp. 141\u2013150. IEEE (2012)","key":"8_CR11","DOI":"10.1109\/MSR.2012.6224274"},{"issue":"2","key":"8_CR12","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s10270-005-0079-0","volume":"4","author":"J. B\u00e9zivin","year":"2005","unstructured":"B\u00e9zivin, J.: On the unification power of models. SOSYM\u00a04(2), 171\u2013188 (2005)","journal-title":"SOSYM"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-642-24690-6_27","volume-title":"Software Engineering and Formal Methods","author":"J. Boender","year":"2011","unstructured":"Boender, J.: Efficient computation of dominance in component systems (Short paper). In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol.\u00a07041, pp. 399\u2013406. Springer, Heidelberg (2011)"},{"key":"8_CR14","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-642-14819-4_19","volume-title":"Evaluation of Novel Approaches to Software Engineering","author":"A. Cicchetti","year":"2010","unstructured":"Cicchetti, A., Di Ruscio, D., Pelliccione, P., Pierantonio, A., Zacchiroli, S.: A model driven approach to upgrade package-based software systems. In: Maciaszek, L.A., Gonz\u00e1lez-P\u00e9rez, C., Jablonski, S. (eds.) ENASE 2008\/2009. CCIS, vol.\u00a069, pp. 262\u2013276. Springer, Heidelberg (2010)"},{"unstructured":"Clayberg, E., Rubel, D.: Eclipse Plug-ins, 3rd edn. Addison-Wesley Professional (December 2008)","key":"8_CR15"},{"doi-asserted-by":"crossref","unstructured":"Clements, P., Northrop, L.: Software product lines. Addison-Wesley (2002)","key":"8_CR16","DOI":"10.1109\/MS.2002.1020285"},{"unstructured":"Cosmo, R.D., Boender, J.: Using strong conflicts to detect quality issues in component-based complex systems. In: Padmanabhuni, S., Aggarwal, S.K., Bellur, U. (eds.) ISEC, pp. 163\u2013172. ACM (2010)","key":"8_CR17"},{"issue":"6","key":"8_CR18","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/1323293.1294283","volume":"41","author":"O. Crameri","year":"2007","unstructured":"Crameri, O., Knezevic, N., Kostic, D., Bianchini, R., Zwaenepoel, W.: Staged deployment in mirage, an integrated software upgrade testing and distribution system. SIGOPS Oper. Syst. Rev.\u00a041(6), 221\u2013236 (2007)","journal-title":"SIGOPS Oper. Syst. Rev."},{"issue":"3","key":"8_CR19","first-page":"201","volume":"7","author":"M. Davis","year":"1960","unstructured":"Davis, M., Putnam, H.: A computing procedure for quantification theory. J.\u00a0ACM\u00a07(3), 201\u2013215 (1960)","journal-title":"J.\u00a0ACM"},{"issue":"2","key":"8_CR20","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1147\/sj.432.0371","volume":"43","author":"J. Des Rivi\u00e8res","year":"2004","unstructured":"Des Rivi\u00e8res, J., Wiegand, J.: Eclipse: a platform for integrating development tools. IBM Systems\u00a043(2), 371\u2013383 (2004)","journal-title":"IBM Systems"},{"unstructured":"Vouillon, J., Di Cosmo, R.: Broken sets in software repository evolution. In: ICSE 2013. ACM (to appear, 2013)","key":"8_CR21"},{"issue":"12","key":"8_CR22","doi-asserted-by":"publisher","first-page":"1144","DOI":"10.1016\/j.scico.2010.11.001","volume":"76","author":"R. Cosmo Di","year":"2011","unstructured":"Di Cosmo, R., Di Ruscio, D., Pelliccione, P., Pierantonio, A., Zacchiroli, S.: Supporting software evolution in component-based FOSS systems. Science of Computer Programming\u00a076(12), 1144\u20131160 (2011)","journal-title":"Science of Computer Programming"},{"doi-asserted-by":"crossref","unstructured":"Di Cosmo, R., Lhomme, O., Michel, C.: Aligning component upgrades. In: Drescher, C., Lynce, I., Treinen, R. (eds.) LoCoCo 2011 International Workshop on Logics for Component Configuration, vol.\u00a065, pp. 1\u201311 (2011)","key":"8_CR23","DOI":"10.4204\/EPTCS.65.1"},{"doi-asserted-by":"crossref","unstructured":"Di Cosmo, R., Trezentos, P., Zacchiroli, S.: Package upgrades in FOSS distributions: Details and challenges. In: HotSWUp 2008: Hot Topics in Software Upgrades. ACM (2008)","key":"8_CR24","DOI":"10.1145\/1490283.1490292"},{"doi-asserted-by":"crossref","unstructured":"Di Cosmo, R., Vouillon, J.: On software component co-installability. In: Gyim\u00f3thy, T., Zeller, A. (eds.) SIGSOFT FSE, pp. 256\u2013266. ACM (2011)","key":"8_CR25","DOI":"10.1145\/2025113.2025149"},{"key":"8_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1007\/978-3-642-15579-6_40","volume-title":"Software Product Lines: Going Beyond","author":"R. Cosmo Di","year":"2010","unstructured":"Di Cosmo, R., Zacchiroli, S.: Feature diagrams as package dependencies. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol.\u00a06287, pp. 476\u2013480. Springer, Heidelberg (2010)"},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-642-33826-7_11","volume-title":"Software Engineering and Formal Methods","author":"R. Cosmo Di","year":"2012","unstructured":"Di Cosmo, R., Zacchiroli, S., Zavattaro, G.: Towards a formal component model for the cloud. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol.\u00a07504, pp. 156\u2013171. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Di Ruscio, D., Pelliccione, P., Pierantonio, A., Zacchiroli, S.: Towards maintainer script modernization in FOSS distributions. In: IWOCE 2009: International Workshop on Open Component Ecosystem, pp. 11\u201320. ACM (2009)","key":"8_CR28","DOI":"10.1145\/1595800.1595803"},{"doi-asserted-by":"crossref","unstructured":"Dolstra, E., L\u00f6h, A.: NixOS: A purely functional linux distribution. In: ICFP (2008) (to appear)","key":"8_CR29","DOI":"10.1145\/1411204.1411255"},{"unstructured":"EDOS Project: Report on formal management of software dependencies. EDOS Project Deliverables D2.1 and D2.2 (March 2006)","key":"8_CR30"},{"doi-asserted-by":"crossref","unstructured":"Fischer, J., Majumdar, R., Esmaeilsabzali, S.: Engage: a deployment management system. In: Vitek, J., Lin, H., Tip, F. (eds.) PLDI, pp. 263\u2013274. ACM (2012)","key":"8_CR31","DOI":"10.1145\/2345156.2254096"},{"unstructured":"Galindo, J., Benavides, D., Segura, S.: Debian packages repositories as software product line models. towards automated analysis. In: Dhungana, D., Rabiser, R., Seyff, N., Botterweck, G. (eds.) ACoTA. CEUR Workshop Proceedings, vol.\u00a0688, pp. 29\u201334. CEUR-WS.org (2010)","key":"8_CR32"},{"issue":"3","key":"8_CR33","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/s10664-008-9100-x","volume":"14","author":"J. Gonzalez-Barahona","year":"2009","unstructured":"Gonzalez-Barahona, J., Robles, G., Michlmayr, M., Amor, J., German, D.: Macro-level software evolution: a case study of a large software compilation. Empirical Software Engineering\u00a014(3), 262\u2013285 (2009)","journal-title":"Empirical Software Engineering"},{"unstructured":"Janota, M.: Do SAT solvers make good configurators? In: SPLC: Software Product Lines Conference, vol.\u00a02, pp. 191\u2013195 (2008)","key":"8_CR34"},{"doi-asserted-by":"crossref","unstructured":"J\u00e4rvisalo, M., Berre, D.L., Roussel, O., Simon, L.: The international SAT solver competitions. AI Magazine\u00a033(1) (2012)","key":"8_CR35","DOI":"10.1609\/aimag.v33i1.2395"},{"key":"8_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-13238-4_11","volume-title":"Component-Based Software Engineering","author":"G. Jenson","year":"2010","unstructured":"Jenson, G., Dietrich, J., Guesgen, H.W.: An empirical study of the component dependency resolution search space. In: Grunske, L., Reussner, R., Plasil, F. (eds.) CBSE 2010. LNCS, vol.\u00a06092, pp. 182\u2013199. Springer, Heidelberg (2010)"},{"unstructured":"LaBelle, N., Wallingford, E.: Inter-package dependency networks in open-source software. CoRR cs.SE\/0411096 (2004)","key":"8_CR37"},{"issue":"10","key":"8_CR38","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1109\/TSE.2007.70726","volume":"33","author":"K.K. Lau","year":"2007","unstructured":"Lau, K.K., Wang, Z.: Software component models. IEEE Trans. Software Eng.\u00a033(10), 709\u2013724 (2007)","journal-title":"IEEE Trans. Software Eng."},{"unstructured":"Le Berre, D., Parrain, A.: On SAT technologies for dependency management and beyond. In: SPLC 2008: Software Product Lines Conference, vol. 2, pp. 197\u2013200 (2008)","key":"8_CR39"},{"doi-asserted-by":"crossref","unstructured":"Le Berre, D., Rapicault, P.: Dependency management for the Eclipse ecosystem. In: IWOCE 2009: International Workshop on Open Component Ecosystems, pp. 21\u201330. ACM (2009)","key":"8_CR40","DOI":"10.1145\/1595800.1595805"},{"issue":"1","key":"8_CR41","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/357062.357071","volume":"1","author":"T. Lengauer","year":"1979","unstructured":"Lengauer, T., Tarjan, R.E.: A fast algorithm for finding dominators in a flowgraph. ACM Trans. Program. Lang. Syst.\u00a01(1), 121\u2013141 (1979)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"8_CR42","doi-asserted-by":"publisher","first-page":"218701","DOI":"10.1103\/PhysRevLett.101.218701","volume":"101","author":"T. Maillart","year":"2008","unstructured":"Maillart, T., Sornette, D., Spaeth, S., von Krogh, G.: Empirical tests of zipf\u2019s law mechanism in open source linux distribution. Phys. Rev. Lett.\u00a0101, 218701 (2008), \n                  \n                    http:\/\/link.aps.org\/doi\/10.1103\/PhysRevLett.101.218701","journal-title":"Phys. Rev. Lett."},{"doi-asserted-by":"crossref","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: Automated Software Engineering, pp. 199\u2013208. IEEE (2006)","key":"8_CR43","DOI":"10.1109\/ASE.2006.49"},{"doi-asserted-by":"crossref","unstructured":"Michel, C., Rueher, M.: Handling software upgradeability problems with MILP solvers. In: LoCoCo 2010: Logics for Component Configuration. EPTCS, vol.\u00a029, pp. 1\u201310 (2010)","key":"8_CR44","DOI":"10.4204\/EPTCS.29.1"},{"unstructured":"OSGi Alliance: OSGi Service Platform, Release 3. IOS Press, Inc. (2003)","key":"8_CR45"},{"unstructured":"Quinton, C., Rouvoy, R., Duchien, L.: Leveraging feature models to configure virtual appliances. In: Proceedings of the 2nd International Workshop on Cloud Computing Platforms, CloudCP 2012, pp. 2:1\u20132:6. ACM, New York (2012), \n                  \n                    http:\/\/doi.acm.org\/10.1145\/2168697.2168699","key":"8_CR46"},{"unstructured":"Raymond, E.S.: The cathedral and the bazaar. O\u2019Reilly (2001)","key":"8_CR47"},{"unstructured":"Ruscio, D.D., Pelliccione, P., Pierantonio, A.: EVOSS: A tool for managing the evolution of free and open source software systems. In: Glinz, M., Murphy, G.C., Pezz\u00e8, M. (eds.) ICSE, pp. 1415\u20131418. IEEE (2012)","key":"8_CR48"},{"unstructured":"Steuer, R.E.: Multiple Criteria Optimization: Theory, Computation and Application. Wiley (1986)","key":"8_CR49"},{"unstructured":"Szyperski, C.: Component Software. Beyond Object-Oriented Programming. Addison-Wesley (1998)","key":"8_CR50"},{"unstructured":"Treinen, R., Zacchiroli, S.: Solving package dependencies: from EDOS to Mancoosi (2008)","key":"8_CR51"},{"unstructured":"Treinen, R., Zacchiroli, S.: Common upgradeability description format (CUDF) 2.0. Technical Report\u00a03, The Mancoosi Project (November 2009), \n                  \n                    http:\/\/www.mancoosi.org\/reports\/tr3.pdf","key":"8_CR52"},{"doi-asserted-by":"crossref","unstructured":"Treinen, R., Zacchiroli, S.: Expressing advanced user preferences in component installation. In: IWOCE 2009: International Workshop on Open Component Ecosystems, pp. 31\u201340. ACM (2009)","key":"8_CR53","DOI":"10.1145\/1595800.1595806"},{"doi-asserted-by":"crossref","unstructured":"Trezentos, P., Lynce, I., Oliveira, A.: Apt-pbo: Solving the software dependency problem using pseudo-boolean optimization. In: ASE 2010: Automated Software Engineering, pp. 427\u2013436. ACM (2010)","key":"8_CR54","DOI":"10.1145\/1858996.1859087"},{"doi-asserted-by":"crossref","unstructured":"Tucker, C., Shuffelton, D., Jhala, R., Lerner, S.: OPIUM: Optimal package install\/uninstall manager. In: ICSE 2007: International Conference on Software Engineering, pp. 178\u2013188. IEEE (2007)","key":"8_CR55","DOI":"10.1109\/ICSE.2007.59"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40615-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T19:29:54Z","timestamp":1578511794000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40615-7_8"}},"subtitle":["A Short Survey"],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642406140","9783642406157"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40615-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}