10  References

[AGMGNJMF]
Achim Gottinger, Mark Guertin, Nicholas Jones, and Mike Frysinger. Ebuild manual page. http://gentoo-wiki.com/MAN_ebuild_5.
[amo]
Amos project. http://www.clip.dia.fi.upm.es/~amos/AMOS/.
[Bai]
Edward C. Bailey. Maximum rpm. http://www.rpm.org/max-rpm.
[BEH+02]
U. Brandes, M. Eiglsperger, I. Herman, M. Himsolt, and M.S. Marshall. Graphml specification, 2002. http://graphml.graphdrawing.org/specification.html.
[Bix03]
Li Bixin. Managing dependencies in component-based systems based on matrix model. In Proceedings of NETObjectDays’03, 2003.
[BPSMY04]
Tim Bray, Jean Paoli, C. M. Sperberg-McQueen, and Eve Maler Francois Yergeau. Extensible markup language (xml) 1.0 (third edition), 2004. http://www.w3.org/TR/REC-xml.
[CDL+06]
Roberto Di Cosmo, Berke Durak, Xavier Leroy, Fabio Mancinelli, and Jérôme Vouillon. Maintaining large software distributions: new challenges from the FOSS era. EASST Newsletter, 12:7–20, March 2006.
[DPa]
Debian Project. deb(5) manual page.
[DPb]
Debian Project. Debian social contract. http://www.debian.org/social_contract.
[EDO05]
EDOS Project Workpackage 2 Team. Report on formal management of software dependencies. EDOS Project Deliverable Work Package 2, Deliverable 1, September 2005. http://www.edos-project.org/xwiki/bin/Main/Deliverables.
[EDO06]
EDOS Project Workpackage 2 Team. Report on formal management of software dependencies. EDOS Project Deliverable Work Package 2, Deliverable 2, March 2006. http://www.edos-project.org/xwiki/bin/Main/Deliverables.
[ES04]
Niklas Eén and Niklas Sörensson. An extensible SAT-solver. In Enrico Giunchiglia and Armando Tacchella, editors, Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers, volume 2919 of Lecture Notes in Computer Science, pages 502–518. Springer, 2004.
[GPa]
Gentoo Project. Gentoo developer handbook. http://www.gentoo.org/proj/en/devrel/handbook/handbook.xml.
[GPb]
Gentoo Project. Gentoo handbook. http://www.gentoo.org/doc/en/handbook/.
[Man]
Mandriva Linux. http://www.mandriva.com.
[Man05]
Mandriva. URPMI. http://www.urpmi.org, 2005.
[MBC+06]
Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jérôme Vouillon, Berke Durak, Xavier Leroy, and Ralf Treinen. Managing the complexity of large free and open source package-based software distributions. In ASE 2006, pages 199–208, Tokyo, Japan, September 2006. IEEE CS Press [Complete paper in PDF].
[moz]
The mozart programming system. http://www.mozart-oz.org.
[Nie05]
Gustavo Niemeyer. Smart package manager. http://labix.org/smart, 2005.
[Pro]
The Debian Project. Debian GNU/Linux. http://www.debian.org.
[rpm]
Comparing linux/unix binary package formats. http://kitenet.net/~joey/pkg-comp/.
[RT]
Rpm Team. Rpm sources. http://www.rpm.org/cvs_help.
[Sil04]
Gustavo Noronha Silva. Apt-howto. http://www.debian.org/doc/manuals/apt-howto, 2004.
[SRW97a]
J.A. Stafford, D.J. Richardson, and A.L. Wolf. Aladdin: A tool for architecture-level dependence analysis of software systems. Technical Report CU-CS-858-98, Department of Computer Science, University of Colorado, 1997.
[SRW97b]
J.A. Stafford, D.J. Richardson, and A.L. Wolf. Chaining: A software architecture dependence analysis technique. Technical Report CU-CS-845-97, Department of Computer Science, University of Colorado, 1997.
[SW98]
Judith A. Stafford and Alexander L. Wolf. Architecture-level dependence analysis in support of software maintenance. In ISAW ’98: Proceedings of the third international workshop on Software architecture, pages 129–132. ACM Press, 1998.
[Thea]
The CDuce Team. Cduce. http://www.cduce.org.
[Theb]
The Debian Project. Debian policy manual. http://www.debian.org/doc/debian-policy/index.html.
[Thec]
The RPM-Metadata Project. Xml package metadata. http://linux.duke.edu/projects/metadata.
[vdHHHW97]
Andrè van der Hoek, Richard S. Hall, Dennis Heimbigner, and Alexander L. Wolf. Software release management. In ESEC ’97/FSE-5: Proceedings of the 6th European conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering, pages 159–175. Springer-Verlag New York, Inc., 1997.
[vdS04]
Tijs van der Storm. Variability and component composition. In ICSR, pages 157–166, 2004.
[VR02a]
Marlon Vieira and Debra Richardson. Analyzing dependencies in large component-based systems. In ASE’02: Proceedings of the International Conference of Automated Software Engineering, pages 241–244, 2002.
[VR02b]
Marlon Vieira and Debra Richardson. The role of dependencies in component-based systems evolution. In IWPSE ’02: Proceedings of the International Workshop on Principles of Software Evolution, pages 62–65. ACM Press, 2002.
[WCIa]
W3c Consortium, Ibm, and al. Installable unit package format specification version 1.0. http://www.w3.org/Submission/InstallableUnit-PF/.