MPM: A modular package manager

CompArch'11 - Proceedings of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture - CBSE'11

Volumn , Issue , 2011, Pages 179-187

  Abate, Pietro ^a   Dicosmo, Roberto ^a,b   Treinen, Ralf ^a   Zacchiroli, Stefano ^a  

^a UNIVERSITÉ PARIS DESCARTES   (France)

^b INRIA   (France)

Author keywords

package managers

Indexed keywords

MODULAR ARCHITECTURES; PACKAGE MANAGERS; SOFTWARE DISTRIBUTIONS; TARGET MACHINES;

MANAGEMENT; MANAGERS;

SOFTWARE ARCHITECTURE;

EID: 79960489684     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2000229.2000255     Document Type: Conference Paper

References (19)

1. P. Abate, A. Guerreiro, S. Laurìere, R. Treinen, and S. Zacchiroli. Extension of an existing package manager to produce traces of ugradeability problems in CUDF format. Deliverable D5.2, The Mancoosi Project, Aug. 2010. http://www.mancoosi.org/reports/d5.2.pdf.
2. J. Argelich, D. L. Berre, I. Lynce, J. Marques-Silva, and P. Rapicault. Solving Linux upgradeability problems using Boolean optimization. In Lynce and Treinen [11], pages 11-22. http://arxiv.org/abs/1007.1021v1.
3. D. L. Berre and A. Parrain. On SAT technologies for dependency management and beyond. In S. Thiel and K. Pohl, editors, 12th International Conference on Software Product Lines, Second Volume (Workshops), pages 197-200, Limerick, Ireland, Sept. 2008. Lero Int. Science Centre, University of Limerick, Ireland.
4. D. L. Berre and P. Rapicault. Dependency management for the Eclipse ecosystem. In R. D. Cosmo and P. Inverardi, editors, International Workshop on Open Component Ecosystems (IWOCE 2009), Amsterdam, The Netherlands, 2009.
5. C. Bozman. Converting Eclipse metadata into CUDF. Technical Report TR5, The Mancoosi Project, Nov. 2010. http://www.mancoosi.org/reports/p2.pdf.
6. EDOS Project WP2 Team. First report on formal management of software dependencies. Technical Report D2.1, Sept. 2005. http://www.edos-project.org/ xwiki/bin/Main/Deliverables.
7. EDOS Project WP2 Team. Second report on formal management of software dependencies. Technical Report D2.2, Mar. 2006. http://www.edos-project.org/ xwiki/bin/Main/Deliverables.
8. G. Jenson, J. Dietrich, and H. W. Guesgen. An empirical study of the component dependency resolution search space. In L. Grunske, R. Reussner, and F. Plasil, editors, 13th International Symposium on Component-Based Software Engineering, volume 6092 of Lecture Notes in Computer Science, pages 182-199, Prague, Czech Republic, June 2010. Springer-Verlag.
9. J. A. Klode. RFC: The future of solving dependency problems in APT (SAT, CUDF). http: //lists.debian.org/deity/2010/12/msg00053.html.
10. Libzypp library. http://en.opensuse.org/Portal:Libzypp, 2011.
11. I. Lynce and R. Treinen, editors. Proc. 1st International Workshop on Logics for Component Configuration, volume 29 of EPTCS, 2010.
12. E. V. Lyubimkin. Cupt package manager, 2010. http://wiki.debian.org/Cupt.
13. F. Mancinelli, J. Boender, R. D. Cosmo, J. Vouillon, B. Durak, X. Leroy, and R. Treinen. Managing the complexity of large free and open source package-based software distributions. In 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), pages 199-208, Tokyo, Japan, Sept. 2006. IEEE CS Press.
14. Mancoosi. Mancoosi international solver competition 2010. http://www.mancoosi.org/misc-2010/, July 2010.
15. C. Michel and M. Rueher. Handling software upgradeability problems with MILP solvers. In Lynce and Treinen [11], pages 1-10. http://arxiv.org/abs/1007. 1020v1.
16. R. Treinen and S. Zacchiroli. Description of the CUDF format. Technical Report D5.1, The Mancoosi Project, Nov. 2008. http://www.mancoosi.org/reports/ tr3.pdf.
17. P. Trezentos, I. Lynce, and A. L. Oliveira. Apt-pbo: solving the software dependency problem using pseudo-Boolean optimization. In C. Pecheur, J. Andrews, and E. D. Nitto, editors, 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), pages 427-436, Antwerp, Belgium, Sept. 2010. ACM.
18. C. Tucker, D. Shuffelton, R. Jhala, and S. Lerner. OPIUM: Optimal package install/uninstall manager. In 29th International Conference on Software Engineering (ICSE 2007), pages 178-188, Minneapolis, MN, USA, May 2007. IEEE Computer Society.
19. Yast. http://en.opensuse.org/Package-management, 2011.