On software component co-installability

SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering

Volumn , Issue , 2011, Pages 256-266

  Vouillon, Jérôme ^a   Di Cosmo, Roberto ^a  

^a CNRS   (France)

Author keywords

Co installability; Component; Con icts; Dependencies; Open source; Package management

Indexed keywords

CO-INSTALLABILITY; COMPONENT; CON ICTS; DEPENDENCIES; OPEN SOURCES;

COBALT COMPOUNDS; COMPUTER SOFTWARE; GRAPH THEORY; MAINTAINABILITY; SEMANTICS;

COMPUTATIONAL EFFICIENCY;

EID: 80053180374     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2025113.2025149     Document Type: Conference Paper

References (17)

1. F. Mancinelli, J. Boender, R. Di Cosmo, J. Vouillon, B. Durak, X. Leroy, and R. Treinen, \Managing the complexity of large free and open source package-based software distributions." in Automated Software Engineering (ASE). IEEE Computer Society, 2006, pp. 199-208. (Pubitemid 47159347)
2. C. Tucker, D. Shuffelton, R. Jhala, and S. Lerner, \Opium: Optimal package install/uninstall manager, " International Conference on Software Engineering (ICSE). IEEE Computer Society, 2007, pp. 178-188.
3. D. L. Berre and A. Parrain, \On sat technologies for dependency management and beyond, " in Software Product Lines Conference (SPLC), S. Thiel and K. Pohl, Eds. Lero Int. Science Centre, University of Limerick, Ireland, 2008, pp. 197-200.
4. P. Abate, J. Boender, R. Di Cosmo, and S. Zacchiroli, \Strong dependencies between software components, " in Empirical Software Engineering and Measurement (ESEM). IEEE Press, Oct. 2009, pp. 89-99. [Online]. Available: http://ieeexplore.ieee.org:80/search/wrapper.jsp?arnumber=5316017.
5. R. Di Cosmo and J. Boender, \Using strong conicts to detect quality issues in component-based complex systems, " in ISEC'10: Proceedings of the 3rd India software engineering conference. New York, NY, USA: ACM, 2010, pp. 163-172.
6. R. Treinen and S. Zacchiroli, \Solving package dependencies: from EDOS to Mancoosi, " in DebConf8 (9th annual conference of the Debian project), Argentine, 08 2008, pp. 18-43.http://hal.archives-ouvertes.fr/hal-00340581/en/.
7. R. Di Cosmo, F. Mancinelli, J. Boender, J. Vouillon, B. Durak, X. Leroy, D. Pinheiro, P. Trezentos, M. Morgado, T. Milo, T. Zur, R. Suarez, M. Lijour, and R. Treinen, \Report on formal mangement of software dependencies, ", Tech. Rep., Apr. 2006, EDOS project Deliverable 2.2, available as http://www.edos-project.org/xwiki/bin/download/Main/Deliverables/edos-wp2d2.pdf.
8. R. Di Cosmo, B. Durak, X. Leroy, F. Mancinelli, and J. Vouillon, \Maintaining large software distributions: new challenges from the FOSS era, " in Proceedings of the FRCSS 2006 workshop, 2006, eASST Newsletter.
9. H. K. Buning and T. Lettmann, \Propositional logic: Deduction and algorithms, " Studia Logica, vol. 71, pp. 247-258, 2002.
10. The Coq Development Team, The Coq Proof Assistant Reference Manual { Version V8.2, 2008. http://coq.inria.fr.
11. G. Ausiello, A. D'Atri, and D. Saccá, \Graph algorithms for functional dependency manipulation, " Journal of the ACM, vol. 30, no. 4, pp. 752-766, 1983. (Pubitemid 14468698)
12. G. Ausiello, A. D'Atri, and D. Saccá, \Minimal representation of directed hypergraphs, " SIAM Journal of Computing, vol. 15, no. 2, pp. 418-431, 1986.
13. J. Ellson, E. Gansner, L. Koutsofios, S. North, and G. Woodhull, \Graphviz - open source graph drawing tools, " in Graph Drawing, ser. Lecture Notes in Computer Science, P. Mutzel, M. Jünger, and S. Leipert, Eds. Springer Berlin/Heidelberg, 2002, vol. 2265, pp. 594-597. [Online]. Available: http://dx.doi.org/10.1007/3-540-45848-457.
14. R. Di Cosmo and S. Zacchiroli, \Feature diagrams as package dependencies, " in Software Product Lines Conference (SPLC), ser. Lecture Notes in Computer Science, J. Bosch and J. Lee, Eds., vol. 6287. Springer, 2010, pp. 476-480.
15. C. A. Gunter, \Abstracting dependencies between software configuration items, " ACM Trans. Softw. Eng. Methodol., vol. 9, pp. 94-131, January 2000. [Online]. Available: http://doi.acm.org/10.1145/332740.332743.
16. G. Winskel, \Event structures, " in Petri Nets: Applications and Relationships to Other Models of Concurrency, ser. Lecture Notes in Computer Science, W. Brauer, W. Reisig, and G. Rozenberg, Eds. Springer Berlin/Heidelberg, 1987, vol. 255, pp. 325-392. [Online]. Available: http://dx.doi.org/10.1007/3-540-17906-231.
17. W. F. Dowling and J. H. Gallier, \Linear-time algorithms for testing the satisfiability of propositional horn formulae, " Journal of Logic Programming, vol. 1, no. 3, pp. 267-284, 1984.