R. Albert and A. Barabási, Statistical mechanics of complex networks, Reviews of Modern Physics, vol.74, issue.1, pp.47-97, 2002.
DOI : 10.1103/RevModPhys.74.47

[. Abate, R. D. Cosmo, J. Boender, and S. Zacchiroli, Strong dependencies between software components, 2009 3rd International Symposium on Empirical Software Engineering and Measurement, pp.89-99, 2009.
DOI : 10.1109/ESEM.2009.5316017

URL : https://hal.archives-ouvertes.fr/hal-00388093

[. Albert, H. Jeong, and A. Barabási, Error and attack tolerance of complex networks, Nature, vol.1696, issue.6794, p.378, 2000.
DOI : 10.1038/35019019

J. Argelich, I. Lynce, and J. Marques-silva, On solving boolean multilevel optimization problems, IJCAI, pp.393-398, 2009.

A. Barabási and R. Albert, Emergence of Scaling in Random Networks, Science, vol.286, issue.5439, pp.509-512, 1999.

]. J. Bdcv-+-08, R. Boender, J. Di-cosmo, B. Vouillon, F. Durak et al., Improving the quality of gnu/linux distributions, Computer Software and Applications COMPSAC '08. 32nd Annual IEEE International, pp.1240-1246, 2008.

A. Broder, R. Kumar, F. Maghoul, P. Raghavan, R. Sridhar-rajagopalan et al., Graph structure in the Web, Computer Networks, vol.33, issue.1-6, pp.1-6309, 2000.
DOI : 10.1016/S1389-1286(00)00083-9

[. Bozman, Converting Eclipse metadata into CUDF, 2010.

G. Caldarelli, R. Marchetti, and L. Pietronero, The fractal properties of Internet, CR08] Eric Clayberg and Dan Rubel. Eclipse Plug-ins, p.386, 2000.
DOI : 10.1209/epl/i2000-00450-8

[. Crnkovic, H. Schmidt, J. Stafford, and K. Wallnau, Anatomy of a research project in predictable assembly, Proceedings of the 5th ICSE Workshop on Component-Based Software Engineering, 2002.

[. Cosmo and J. Boender, Using strong conflicts to detect quality issues in component-based complex systems, Proceedings of the 3rd India software engineering conference on India software engineering conference, ISEC '10, pp.163-172, 2010.
DOI : 10.1145/1730874.1730905

URL : https://hal.archives-ouvertes.fr/hal-00495740

R. D. , C. , F. Mancinelli, J. Boender, J. Vouillon et al., Report on formal mangement of software dependencies, 2006.

[. Cosmo and S. Zacchiroli, Feature Diagrams as Package Dependencies, Software Product Lines: Going Beyond, pp.476-480, 2010.
DOI : 10.1007/978-3-642-15579-6_40

URL : https://hal.archives-ouvertes.fr/hal-00524893

[. Group, Debian policy manual, pp.1996-1998

S. Dick, A. Meeks, M. Last, H. Bunke, and A. Kandel, Data mining in software metrics databases. Fuzzy Sets and Systems, pp.81-110, 2004.

[. Di-ruscio, P. Pelliccione, A. Pierantonio, and S. Zacchiroli, Towards maintainer script modernization in FOSS distributions, Proceedings of the 1st international workshop on Open component ecosystems, IWOCE '09, pp.11-20, 2009.
DOI : 10.1145/1595800.1595803

URL : https://hal.archives-ouvertes.fr/hal-00420061

M. Jesús, G. González-barahona, M. Robles, J. Michlmayr, D. M. Amor et al., Macro-level software evolution: a case study of a large software compilation, Empirical Software Engineering, vol.14, issue.3, pp.262-285, 2009.

G. [. Hissam, J. Moreno, K. C. Stafford, and . Wallnau, Packaging predictable assembly with prediction-enabled component technology, 2001.

G. [. Herraiz, R. Robles, J. M. Capilla, and . Gonzalez-barahona, Managing Libre Software Distributions under a Product Line Approach, 2008 32nd Annual IEEE International Computer Software and Applications Conference, pp.1221-1225, 2008.
DOI : 10.1109/COMPSAC.2008.45

[. Jenson, J. Dietrich, and H. W. Guesgen, An Empirical Study of the Component Dependency Resolution Search Space, CBSE, pp.182-199, 2010.
DOI : 10.1007/978-3-642-13238-4_11

M. Taghi, E. B. Khoshgoftaar, W. D. Allen, J. P. Jones, and . Hudepohl, Data mining for predictors of software quality, International Journal of Software Engineering and Knowledge Engineering, vol.9, issue.5, pp.547-564, 1999.

. C. Kch-+-90-]-k, S. G. Kang, J. A. Cohen, W. E. Hess, A. S. Novak et al., Feature-oriented domain analysis (FODA) feasibility study, 1990.

L. Berre and A. Parrain, On sat technologies for dependency management and beyond, ASPL, pp.16-19, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00870846

L. Berre and P. Rapicault, Dependency management for the eclipse ecosystem, Proceedings of the 1st international workshop on Open component ecosystems, IWOCE '09, 2010.
DOI : 10.1145/1595800.1595805

URL : https://hal.archives-ouvertes.fr/hal-00870855

X. Leroy, Formal certification of a compiler back-end or, ACM SIGPLAN Notices, vol.41, issue.1, pp.42-54, 2006.
DOI : 10.1145/1111320.1111042

URL : https://hal.archives-ouvertes.fr/inria-00000963

B. Livshits, Dynamine: Finding common error patterns by mining software revision histories, ESEC/FSE, pp.296-305, 2005.

T. Lengauer and R. E. Tarjan, A fast algorithm for finding dominators in a flowgraph, ACM Transactions on Programming Languages and Systems, vol.1, issue.1, pp.121-141, 1979.
DOI : 10.1145/357062.357071

N. Labelle and E. Wallingford, Inter-package dependency networks in open-source software, 2004.

[. Larsson and A. Wall, Christer Norström, and Ivica Crnkovic. Using prediction-enabled technologies for embedded product line a rchitectures, Proceedings of CBSE5, 2002.

F. Mancinelli, J. Boender, R. D. Cosmo, J. Vouillon, B. Durak et al., Managing the Complexity of Large Free and Open Source Package-Based Software Distributions, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06), pp.199-208, 2006.
DOI : 10.1109/ASE.2006.49

URL : https://hal.archives-ouvertes.fr/hal-00149566

]. T. Stanley-milgrammssvk08, D. Maillart, S. Sornette, G. Spaeth, and . Krogh, The small world problem Empirical Tests of Zipf's Law Mechanism in Open Source Linux Distribution, Psychology Today Phys. Rev. Lett, vol.1, issue.10121, pp.60-67218701, 1967.

G. [. Nair, A. K. Nagarjuna, and . Ray, Semantic structure and finite-size saturation in scale-free dependency networks of free software. ArXiv e-prints, 2009.

]. J. Pvl88, J. Poutré, and . Van-leeuwen, Maintenance of transitive closures and transitive reductions of graphs, Lecture Notes in Computer Science, vol.87, issue.314, pp.106-120, 1988.

M. Schröder, Using SAT for solving package dependencies, 2008.

[. Schobbens, P. Heymans, and J. Trigaux, Feature Diagrams: A Survey and a Formal Semantics, 14th IEEE International Requirements Engineering Conference (RE'06), pp.136-145, 2006.
DOI : 10.1109/RE.2006.23

[. Syrjänen, A rule-based formal model for software configuration, Research Report, vol.55, 1999.

[. Szyperski, Component Software: Beyond Object-Oriented Programming, second edition, 2002.

P. Trezentos, I. Lynce, and A. L. Oliveira, Apt-pbo, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.427-436, 2010.
DOI : 10.1145/1858996.1859087

R. Treinen and S. Zacchiroli, Common upgradeability description format (cudf) 2.0, 2009.

M. Vieira and D. Richardson, Analyzing dependencies in large component-based systems, Proceedings 17th IEEE International Conference on Automated Software Engineering,, p.241, 2002.
DOI : 10.1109/ASE.2002.1115020

J. Duncan, S. H. Watts, and . Strogatz, Collective dynamics of small-world networks, Nature, vol.393, issue.6684, pp.440-442, 1998.

]. G. Zip49 and . Zipf, Human Behavior and the Principle of Least Effort, 1949.